N. Nagatou and T. Watanabe, “A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS”, Int J Ind Eng, vol. 22, no. 4, Aug. 2015.