References

• 1993New algorithms for fault trees analysis472 cited
• 1970A time-dependent methodology for fault tree evaluation285 cited
• 2000Event-tree analysis using binary decision diagrams248 cited
• 2002A fault tree analysis strategy using binary decision diagrams133 cited
• 2001Mathematical foundations of minimal cutsets121 cited
• 1972New methodology for obtaining cut sets for fault trees119 cited
• 2003A fast BDD algorithm for large coherent fault trees analysis115 cited
• 1997Advances in Safety and Reliability88 cited
• 1997Improved efficiency in qualitative fault tree analysis82 cited
• 2004Analysis of truncation limit in probabilistic safety assessment79 cited
• 1997Improved accuracy in quantitative fault tree analysis79 cited
• 2004Can we trust PRA?78 cited
• 2008On the use of non-coherent fault trees in safety and security studies40 cited
• 1995A new hybrid method for fault tree analysis29 cited
• 2003Toward an efficient implementation of the MOCUS algorithm25 cited
• 2004Development of measures to estimate truncation error in fault tree analysis