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