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.