Review for model-based safety analysis of complex safety-critical system
CHEN Lei, JIAO Jian, ZHAO Tingdi
Systems Engineering and Electronics . 2017, (6): 1287 -1291 .  DOI: 10.3969/j.issn.1001-506X.2017.06.16