Nagatou, Naoyuki, and Takuo Watanabe. “A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS”. International Journal of Industrial Engineering: Theory, Applications and Practice 22, no. 4 (August 15, 2015). Accessed November 25, 2024. https://ijietap.journals.publicknowledgeproject.org/index.php/ijie/article/view/1794.