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