Remenyte-Prescott, R., & Andrews, J. (2008). Analysis of non-coherent fault trees using ternary decision diagrams. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 222(2), https://doi.org/10.1243/1748006XJRR154