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.