김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11.
Kim. S, I. Kuh, O. Ha, and Y.Jun, "Automatic Lock Manager to Heal Race Conditions in ARINC-653 Airborne Software" Proc. of the 3rd IEMEK Fall Conference, pp. 9-13, Jeju KAL Hotel, IEMEK, Nov. 2010.