최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014.
Choi, E.-T., S.-W. Park, O.-K. Ha, and Y.-K. Jun, ” Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications”, Proceedings of the 2014 IEMEK Fall Conference, pp. 39, IEMEK, Nov. 2014.