Remenyte-Prescott, R., & Andrews, J. (2007). Prime implicants for modularised non-coherent fault trees using binary decision diagrams. International Journal of Reliability and Safety, 1(4), https://doi.org/10.1504/IJRS.2007.016259