Choi, Eu-Teum, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Software Engineering and Its Applications (IJSEIA), SERSC, Vol. 10(1), pp.201-212, January 2016.

SCOPUS

link