Nagatou N, Watanabe T. A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS. Int J Ind Eng [Internet]. 2015 Aug. 15 [cited 2024 Nov. 25];22(4). Available from: https://ijietap.journals.publicknowledgeproject.org/index.php/ijie/article/view/1794