Remenyte-Prescott, R., & Andrews, J. (2008). An enhanced component connection method for conversion of fault trees to binary decision diagrams. Reliability Engineering and System Safety, 93(10), https://doi.org/10.1016/j.ress.2007.09.001