2Leveson N G. A New Accident Model for Engineering Safer Systems [ J ]. Safety Science, Elsevier, April 2004,42 (4).
3Tribb[e A C, Miller S P, Lempia D L. Software Safety Analysis of a Flight Guidance System [ C ]//Digital Avionics Systems Conference, 2002. Proceedings. The 21 st 2002,2:13C1-1-13C1-10.
4Meenakshi B, Barman K D, BabuL G, et al. Formal Safety Analysis of Mode Transitions in Aircraft Flight Control System[ C ]//Digital Avionics Systems Conference,2007. DASC 07. IEEE/AIAA 25 th.
