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://ijietap.journals.publicknowledgeproject.org/index.php/ijie/article/view/1794. Acesso em: 25 nov. 2024.