Platform of Formal Modeling and Analysis for Airborne Software Requirements. - Jiarun Lyu; Jun Hu; Lisong Wang (EITCE, 2022)