[1]
Bakr, A.M. et al. 2021. A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems.
Computer Science
. 22, 1 (Feb. 2021). DOI:
https://doi.org/10.7494/csci.2021.22.1.3547
.