Guy Martin Tchamgoue, Lin Gan, Ok-Kyoon Ha, S.-W. Yang, and Yong-Kee Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceedings of the 31st IEEE/AIAA Digital Avionics Systems Conference, IEEE, October 14-18, pp.(9E6):1-9, Williamsburg, VA, USA, 2012