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 2026 Jul. 9];22(4). Available from: https://ijietap.com/ijietap/index.php/ijie/article/view/1794