오진우, 최으뜸, 전용기, "무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크", 대한임베디드공학회논문지, Volume 13, Issue 6, Dec 2018.
Oh, J.-W., E.-T. Choi, and Y.-K. Jun, “A Framework for Detecting Data Races in Weapon Software ,” IEMEK Journal of Embedded Systems and Applications, IEMEK, Volume 13, Issue 6, Dec 2018.