Надежность программной продукции - Карповский Е. Я., Чижов С. А. (Тэхника, 1990)