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