1.
Bakr AM, Salama M, Alsammak A. A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems.
csci
. 2021;22(1). doi:
10.7494/csci.2021.22.1.3547