Prescott, D., Remenyte-Prescott, R., Reed, S., Andrews, J., & Downes, C. (2009). A reliability analysis method using binary decision diagrams in phased mission planning. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 223(2), https://doi.org/10.1243/1748006XJRR202