Lloyd, M. D., Andrews, J., Remenyte-Prescott, R., Pearson, J. T., & Hubbard, P. (2014). A Petri net approach to fault verification in phased mission systems using the standard deviation technique. Quality and Reliability Engineering International, 30(1), https://doi.org/10.1002/qre.1478