Hao Rong, Haiyong Dong. Incorporating Model Based Safety Design into Development Process of Civil Aircraft Systems. In 19th IEEE International Conference on Communication Technology, ICCT 2019, Xi'an, China, October 16-19, 2019. pages 1291-1295, IEEE, 2019. [doi]