Nagatou, N., & 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). https://doi.org/10.23055/ijietap.2015.22.4.1794