1. New algorithms for fault tree analysis;Rauzy;Reliab Engng Syst Safety,1993
2. A time dependent methodology for fault tree evaluation;Vesely;Nucl Engng Des,1970
3. Platz O, Olsen JV. FAUNET: a program package for evaluation of fault trees and networks. Research Establishment Risk Report No. 348, DK-4000 Roskilde, Denmark; September 1976.
4. A linear-time algorithm to find modules of fault trees;Dutuit;IEEE Trans Reliab,1996
5. Bartlett LM. Variable ordering heuristics for binary decision diagrams. Doctoral Thesis, Loughborough University; 2000.