Nagatou, N., and T. Watanabe. “A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS”. International Journal of Industrial Engineering: Theory, Applications and Practice, vol. 22, no. 4, Aug. 2015, doi:10.23055/ijietap.2015.22.4.1794.