T. Arendt, A. Habel, H. Radke, and G. Taentzer, From Core OCL Invariants to Nested Graph Constraints, Graph Transformation, pp.97-112, 2014.
DOI : 10.1007/978-3-319-09108-2_7

G. Bergmann, Translating OCL to Graph Patterns, Model-Driven Engineering Languages and Systems, pp.670-686, 2014.
DOI : 10.1007/978-3-319-11653-2_41

E. Biermann, C. Ermel, and G. Taentzer, Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software & Systems Modeling, pp.227-250, 2012.

F. Büttner, M. Egea, J. Cabot, and M. Gogolla, Verification of ATL Transformations Using Transformation Models and Model Finders, Formal Methods and Software Engineering, pp.198-213, 2012.
DOI : 10.1007/978-3-642-34281-3_16

F. Deckwerth and G. Varró, Attribute Handling for Generating Preconditions from Graph Constraints, Graph Transformation, pp.81-96, 2014.
DOI : 10.1007/978-3-319-09108-2_6

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of algebraic graph transformation, 2006.

C. González and J. Cabot, ATLTest: A White-Box Test Generation Approach for ATL Transformations, Model Driven Engineering Languages and Systems, pp.449-464, 2012.
DOI : 10.1007/978-3-642-33666-9_29

A. Habel, K. Pennemann, and A. Rensink, Weakest Preconditions for High-Level Programs, Graph Transformations, pp.445-460, 2006.
DOI : 10.1007/11841883_31

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

M. Object and . Group, Object Constraint Language (OCL) 2.4, 2012.

C. M. Poskitt, Verification of Graph Programs, 2013.
DOI : 10.1007/978-3-642-33654-6_30

C. M. Poskitt, M. Dodds, R. F. Paige, and A. Rensink, Towards rigorously faking bidirectional model transformations, AMT 2014 Workshop Proceedings, pp.70-75, 2014.

E. Richa, E. Borde, L. Pautet, M. Bordin, and J. F. Ruiz, Towards testing model transformation chains using precondition construction in algebraic graph transformation, AMT 2014 Workshop Proceedings, pp.34-43, 2014.

J. Troya and A. Vallecillo, A Rewriting Logic Semantics for ATL., The Journal of Object Technology, vol.10, issue.5, pp.1-29, 2011.
DOI : 10.5381/jot.2011.10.1.a5