Kang, Myeong-Sin, Ok-Kyoon Ha and Yong-Kee Jun, "Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions,", In Proceedings of International Conference on Grind and Distributed Computing (GDC 2015), IEEE Conferecne Publications, pp. 28-31, Nov. 25-28, Jeju, Korea.