Автоматизированный логико-вероятностный расчет надежности технических систем. Владов Ю.Р.