김태형, 최으뜸, 전용기, "항공기 소프트웨어의 동시성 오류를 위한 감시 기법", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019.
Kim, T.-H., E.-T. Choi, and Y.-K. Jun, “Monitoring Concurrency Errors of Airborne Software,” The Korea Society for Aerospace Engineering Spring Conference 2019, SASE, Apr 2019.