1. Computer aided synthesis of fault trees;Lapp;IEEE Trans. Reliab.,1977
2. On the automatic construction of fault trees;Salem;Trans. Am. Nucl. Soc.,1975
3. CAT—a computer code for the automated construction of fault trees;Apostolakis,1978
4. Synthetic fault tree model. A formal methodology for fault tree construction;Fussell,1973
5. Fault tree synthesis for design and real time applications;Martin-Solis;Trans. Instn Chem. Engrs,1982