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 May 5];22(4). Available from: https://journals.sfu.ca/ijietap/index.php/ijie/article/view/1794