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