Bakr, Ahmed Mohamed, May Salama, and Abdelwahab Alsammak. “A Hierarchical State Machine Model for Hazard Analysis of Real-Time Safety Critical Systems”. Computer Science 22, no. 1 (February 1, 2021). Accessed May 3, 2024. https://journals.agh.edu.pl/csci/article/view/3547.