Safety Analysis for Avionics System Based on Model Driven
XING Ni-zhou, WANG Li-song
Computer and Modernization . 2015, (1): 21 -26 .  DOI: 10.3969/j.issn.1006-2475.2015.01.004