Remenyte-Prescott, Rasa, Andrews, John, "Prime implicants for modularised non-coherent fault trees using binary decision diagrams", International Journal of Reliability and Safety, 2007