이건표, 최으뜸, 전용기, "ARINC-653 기반 항공기소프트웨어의 파티션간 동시성 오류를 탐지하기 위한 건전성 관리 기법", 2019 대한임베디드공학회 추계학술대회, pp. 27-28, 대한임베디드공학회, 제주, 14-16 Nov, 2019.
Lee, K.-P., E.-T. Choi, and Y.-K. Jun, "A Health Management Technique for Detecting Inter-Partition Concurrency Errors in ARINC-653 Software", 2019 Institude of Embedded Engineering of korea, pp. 27-28, IEMEK, Jeju, 14-16 Nov, 2019.