Safety analysis of civil aircraft fly-by-wire system based on SysML2NuSMV
Kang LAI, Zhong LU, Dawei CHENG, Weirun MIAO
Systems Engineering and Electronics . 2025, (11): 3802 -3815 .  DOI: 10.12305/j.issn.1001-506X.2025.11.27