Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. - Elie Richa; Etienne Borde; Laurent Pautet; Matteo Bordin; José F. Ruiz (AMT@MoDELS, 2014)

Translating ATL Model Transformations to Algebraic Graph Transformations. - Elie Richa; Etienne Borde; Laurent Pautet (ICMT, 2015)

Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles). - Elie Richa (2015)

Translation of ATL to AGT and application to a code generator for Simulink. - Elie Richa; Etienne Borde; Laurent Pautet (Softw. Syst. Model., 2019)