최으뜸, 전용기, "항공기 소프트웨어에서 수리된 원자성위배를 분석하기 위한 프레임웍", 한국정보과학회 국방소프트웨어 연구회 2018 추계 워크샵, 서울, Nov 2018.
Choi, E.-T., D.-S. Lee, and Y.-K. Jun, "A Framework for Analyzing Repaired Atomicity Violations in Airborne Software", Special Interest Group on Defense Software 2018 fall workshop, seoul, Nov 2018.