NAGATOU, N.; WATANABE, T. A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS. International Journal of Industrial Engineering: Theory, Applications and Practice, [S. l.], v. 22, n. 4, 2015. DOI: 10.23055/ijietap.2015.22.4.1794. Disponível em: https://journals.sfu.ca/ijietap/index.php/ijie/article/view/1794. Acesso em: 5 may. 2024.