A Survey of Health Management System for On-The-Fly Repairing of Concurrency Errors in Airborne Software. - Junho Lee; Seongyun Go; Euteum Choi; Seongjin Lee (ISE@APSEC, 2023)