Bakr, Ahmed Mohamed, May Salama, and Abdelwahab Alsammak. 2021. “A Hierarchical State Machine Model for Hazard Analysis of Real-Time Safety Critical Systems”. Computer Science 22 (1). https://doi.org/10.7494/csci.2021.22.1.3547.