A. Agrawal, G. Karsai, Z. Kalmar, S. Neema, F. Shi et al., The design of a language for model transformations, Software & Systems Modeling, vol.77, issue.1, 2005.
DOI : 10.1007/s10270-006-0027-7

R. Bendraou, X. Benoit-combemale, M. Crégut, and . Gervais, Definition of an Executable SPEM2.0, 14th APSEC, Japan, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

B. Berthomieu and F. Vernadat, Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA, 2006.

C. Julian, J. Bradfield, P. Kuster-filipe, and . Stevens, Enriching OCL using observational mu-calculus, FASE, pp.203-217, 2002.

S. Chaki, M. E. Clarke, J. Ouaknine, N. Sharygina, and N. Sinha, State/Event-Based Software Model Checking, 4th International Conference on Integrated Formal Methods (IFM), volume 2999 of LNCS, pp.128-147, 2004.
DOI : 10.1007/978-3-540-24756-2_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.5209

K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson, Semantic Anchoring with Model Transformations, Model Driven Architecture -Foundations and Applications, First European Conference, pp.115-129, 2005.
DOI : 10.1007/11581741_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.6764

T. Clark, A. Evans, P. Sammut, and J. Willans, Applied metamodelling -a foundation for language driven development, 2004.

X. Benoit-combemale, B. Crégut, F. Berthomieu, and . Vernadat, Sim- plePDL2Tina : Mise en oeuvre d'une Validation de Modèles de Processus, 3ieme journées sur l'Ingénierie Dirigée par les Modèles (IDM), 2007.

. Benoit-combemale, X. Sylvain-rougemaille, F. Crégut, M. Migeon, C. Pantel et al., Towards a rigorous metamodeling, 2nd International Workshop on Model-Driven Enterprise Information Systems. INSTICC, 2006.

P. Cousot, Methods and Logics for Proving Programs, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp.841-994, 1990.
DOI : 10.1016/B978-0-444-88074-1.50020-2

D. Distefano, J. Katoen, and A. Rensink, Towards model checking OCL, ECOOP Workshop on Dening a Precise Semantics for UML, 2000.

S. Flake and W. Mueller, Formal semantics of static and temporal state-oriented OCL constraints, Journal on Software and System Modeling (SoSyM), 2003.
DOI : 10.1016/0167-6423(87)90035-9

S. Flake, Temporal OCL extensions for specification of real-time constraints, SVERTS at UML'03, 2003.

Y. Gurevich, The Abstract State Machine Paradigm: What Is in and What Is out, Ershov Memorial Conference, 2001.
DOI : 10.1007/3-540-45575-2_3

F. Jouault, Loosely Coupled Traceability for ATL, Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

F. Jouault, J. Bézivin, and I. Kurtev, TCS:, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, 2006.
DOI : 10.1145/1173706.1173744

F. Jouault and I. Kurtev, Transforming Models with ATL, Proceedings of the Model Transformations in Practice Workshop at MoDELS, 2005.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

P. Muller, F. Fleurey, F. Fondement, R. Michel-hassenforder, S. Schneckenburger et al., Model-driven analysis and synthesis of concrete syntax, 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00795597

M. Richters and M. Gogolla, A metamodel for OCL99 -The Unified Modeling Language, Second International Conference, pp.156-171, 1999.

M. Richters and M. Gogolla, Validating UML models and OCL constraints In UML 2000 -The Unified Modeling Language, Third International Conference, pp.265-277, 2000.

J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2003.

P. Ziemann and M. Gogolla, An extension of OCL with temporal logic, Critical Systems Development with UML ? Proceedings of the UML'02 workshop, volume TUM- I0208, pp.53-62, 2002.