Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software. - Jiankun Xu; Lingling Zheng; Junhu Li; Wentao Wang (SAFEPROCESS, 2023)