백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어에서 경합치유도구를 검증하기 위한 합성프로그램 모음", 2017 대한임베디드공학회 추계학술대회, pp. 122-123, IEMEK, 제주, Nov, 2017.
Baek, H.-J., K.-P. Lee, E.-T. Choi, and Y.-K. Jun, “A Synthetic Program Suite to Validate Healing Race Tool in Airborne Software,” 2017 Institude of Embedded Engineering of korea, pp. 122-123, IEMEK, Nov 2017.