Zou, L. , MA, D. , Wang, Y. , Zhao, X. (2012). '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, 6(11), 1444 - 1450.