Bakr AM, Salama M, Alsammak A. A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems. csci [Internet]. 2021 Feb. 1 [cited 2025 Apr. 7];22(1). Available from: https://journals.agh.edu.pl/csci/article/view/3547