Bakr, Ahmed Mohamed, et al. “A Hierarchical State Machine Model for Hazard Analysis of Real-Time Safety Critical Systems”. Computer Science, vol. 22, no. 1, Feb. 2021, https://doi.org/10.7494/csci.2021.22.1.3547.