基于模型的复杂系统安全分析综述
陈磊, 焦健, 赵廷弟
Review for model-based safety analysis of complex safety-critical system
CHEN Lei, JIAO Jian, ZHAO Tingdi
系统工程与电子技术 . 2017, (6): 1287 -1291 .  DOI: 10.3969/j.issn.1001-506X.2017.06.16