Myeong-Sin Kang, Bong-Jun Paeng, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Visualizing Event Synchronization for Race Conditions in ARINC-653 Applications,” In Proceedings of International Conference on U- and e- Service, Science and Technology (UNESST 2014), Advanced Science and Technology Letters (ASTL), Vol. 77, pp. 33-36, Dec. 20-23, Hainan, China.