Надежность программного обеспечения Анализ крупномасштаб. разраб - Тейер Т. (Мир, 1981)