BAKR, A. M.; SALAMA, M.; ALSAMMAK, A. A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems. Computer Science, [S. l.], v. 22, n. 1, 2021. DOI: 10.7494/csci.2021.22.1.3547. Disponível em: https://journals.agh.edu.pl/csci/article/view/3547. Acesso em: 4 may. 2024.