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/Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability.