Eu-Teum Choi, Young-Hun Yun, Simjae Ko, Byoung Soo Kim, Yong-Kee Jun, "Tracing Threads of Safety-Critical Functions for Certifying Airworthiness of Military Aircraft", 38th Digital Avionics Systems Conference(DASC 2019), San Diego, California, USA, Sep. 8-12, 2019