Towards an automated verification process for industrial safety applications. - Kleanthis Thramboulidis; Doaa Soliman; Georg Frey (CASE, 2011)

Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. - Doaa Soliman; Kleanthis Thramboulidis; Georg Frey (Annu. Rev. Control., 2012)

Verifikation und Validierung sicherheitsgerichteter SPS-Programme. - Doaa Soliman; Georg Frey (Echtzeit, 2013)

Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen. - Doaa Soliman (Shaker, 2013)