Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications,” In Proceedings of International Conference on Signal Processing, Image Processing and Pattern (SIP 2014), Advanced Science and Technology Letters (ASTL), Vol. 75, pp. 41-44, Dec. 20-23, Hainan, China.