Kang, Myeong-Sin, M. Kang, Ok-Kyoon Ha, and Yong-Kee Jun, “ConpathView: A Visualization Tool for Debugging Race Conditions in Event Synchronization of ARINC 653 Applications,” International Journal of Software Engineering and Its Applications (IJSEIA), SERSC, Vol. 10(2), pp.65-76, February 2016.