김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06
Kim,S., O.,Ha, and Y., Jun, "Verification Environment of Race Conditions in IDE for Avionics Software," Proc. of Korea Computer Congress 2013, 40(1):100-102, KIISE, Jun 2013.