A Case Study in Combining Formal Verification and Model-Driven Engineering. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI, 2012)

Combining Verification and MDE Illustrated by a Formal Java Development. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI (Revised Selected Papers), 2012)

Integrating a Formal Development for DSLs into Meta-Modeling. - Selma Djeddai; Martin Strecker; Mohamed Mezghiche (J. Data Semant., 2014)