Nagatou, Naoyuki, and Takuo Watanabe. 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.