STAMP-based Hazard Analysis for Computer-Controlled Systems using Petri Nets
Danjiang Zhu, Shuzhen Yao, and Chonghao Xu
Int J Performability Eng . 2018, (9): 1997 -2007 .  DOI: 10.23940/ijpe.18.09.p7.19972007