Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "Detecting Atomicity Races in ARINC 653 Applications,", In Proceedings of International Conference on Grind and Distributed Computing (GDC 2015), IEEE Conferecne Publications, pp. 24-27, Nov. 25-28, Jeju, Korea.