BAKR, Ahmed Mohamed; SALAMA, May; ALSAMMAK, Abdelwahab. 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: 9 apr. 2025.