Zou, L. , MA, D. , Wang, Y. , Zhao, X.. "A Mapping Approach of Code Generation for Arinc653-Based Avionics Software". World Academy of Science, Engineering and Technology, Open Science Index 71, International Journal of Computer and Systems Engineering (2012), 6(11), 1444 - 1450.