Study of Safety Design of Avionics Software in Civil Aviation | IEEE Conference Publication | IEEE Xplore