1. Coudert, O., Madre, J.C.: Metaprime: An Interactive Fault-Tree Analyzer. IEEE Trans. Reliability 43(1) (1994) 121–127
2. Fussell, J.B.: A Formal Methodology for Fault-Tree Construction. Nuclear Ebg. And Design 52 (1973) 337–360
3. Galván, B.J., García, D., González, L.: Un Método Determinista para la Evaluación de Funciones Booleanas Estocásticas: Análisis Comparativo. In: Font, J., Jorba, A. (eds.): Proc. XIV CEDYA-IV CMA. Barcelona (1995) 257–258
4. González, L., García, D., Galván, B.J.: An Intrinsic Order Criterion to Evaluate Large, Complex Fault Trees. IEEE Trans. Reliability, to appear.
5. Kumamoto, H., Henley, E.: Top-Down Algorithm for Obtaining Prime Implicants Sets on Non Coherent Fault Trees. IEEE Trans. Reliability 27(4) (1978) 242–249