An efficient method for probability evaluation of a fault-tree. - K. Odeh; Nikolaos Limnios (System Modelling and Optimization, 1993)