Bakr, A. M., M. Salama, and A. Alsammak. “A Hierarchical State Machine Model for Hazard Analysis of Real-Time Safety Critical Systems”. Computer Science, vol. 22, no. 1, Feb. 2021, doi:10.7494/csci.2021.22.1.3547.