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