Analysis of non-coherent fault trees using ternary decision diagrams
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability/Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability.