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.