Formal modeling and verification for mission safety of avionics system
Haotian NIU, Cunbao MA, Pei HAN, Jianmin YI
Systems Engineering and Electronics . 2023, (5): 1553 -1569 .  DOI: 10.12305/j.issn.1001-506X.2023.05.33