Nagatou, N.; Watanabe, T. A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS. Int J Ind Eng 2015, 22.