1. Fei, W.: Simulation research on operating mode of flight guidance control system for large passenger aircraft[D]. Civil Aviation University of China (2020) (in Chinese)
2. Hu, J., Zhang, W.J., Li, W.Q.: A requiement oriented formal modeling and verification method for safety critical systems[J]. Comput. Eng. Sci. 41(8), 8 (2019). (in Chinese)
3. Joshi, A., Heimdahl, M.P.E., Miller, S.P., et al.: Model- based safety analysis: NASA/CR- 2006–213953[R]. National Aeronautics and Space Administration, Langley Research Center, Washington (2006)
4. Nabi, F., Yong, J., Tao, X., et al.: Concepts of safety critical systems unification approach & security assurance process[J]. J. Info. Secur. 11(04) (2020)
5. RTCA. DO-178C, Software Considerations in Airborne Software[S] (2011)