Bakr, A. M.; Salama, M.; Alsammak, A. A Hierarchical State Machine Model for Hazard Analysis of Real-Time Safety Critical Systems. csci 2021, 22.