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). doi:10.7494/csci.2021.22.1.3547.