A. M. Bakr, M. Salama, and A. Alsammak, “A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems”, csci, vol. 22, no. 1, Feb. 2021.