1. CAT: A computer code for automated construction of fault trees;Apostolakis;EPRI Report,1978
2. MODSIM IITM: The language for Object-Oriented Programming (OOP) and SIMGRAPHICS IITM;CACI Products Company;Reference Manual,1991
3. Decision tables and their applications;Dixon;Computer and Automation,1964
4. A formal methodology for fault tree construction;Fussel;Nucl. Sci. Engng,1973
5. Synthetic tree model-formal methodology for fault tree construction;Fussel;ANCR-1098,1973