Formal Verification of AADL Models by Event-B. - Abeer Saeed Abdo Hadad; Chunyan Ma; Adeeb Abdulwakeel Obadi Ahmed (IEEE Access, 2020)