Ensuring software safety in safety critical domains. - Ghada Moussa Bahig; Amr El-Kadi (ICITST, 2012)

Formal verification of AUTOSAR FlexRay state manager. - Ghada Moussa Bahig; Amr El-Kadi; Ashraf Salem (IDT, 2014)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines. - Ghada Moussa Bahig; Amr El-Kadi (IEEE Access, 2017)