Bakr, A. M., Salama, M., & Alsammak, A. (2021). A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems. Computer Science, 22(1). https://doi.org/10.7494/csci.2021.22.1.3547