최으뜸, 김태형, 전용기, "ARINC 653 기반 항공기 소프트웨어의 동시성 결함을 자율 수리하는 도구를 검증하기 위한 프레임웍", 2019 대한임베디드공학회 추계학술대회, pp. 45-46, 대한임베디드공학회, 제주, 14-16 Nov, 2019.
E.-T. Choi, T.-H. Kim and Y.-K. Jun, "A Framework for Verifying On-the-fly Repairing Tool of Concurrency Faults in Airborne Software based on ARINC 653", 2019 Institude of Embedded Engineering of korea, pp. 45-46, IEMEK, Jeju, 14-16 Nov, 2019.