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