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