D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2008.

J. Steel, R. Drogemuller, and B. Toth, Model interoperability in building information modelling, Software & Systems Modeling, vol.284, issue.8, pp.99-109, 2012.
DOI : 10.1007/s10270-010-0178-4

M. Tisi, S. M. Perez, F. Jouault, and J. Cabot, Lazy Execution of Model-to-Model Transformations, 14th ACM IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS, pp.32-46, 2011.
DOI : 10.1007/978-3-540-25935-0_13

URL : https://hal.archives-ouvertes.fr/inria-00609458

J. Espinazo-pagán, J. S. Cuadrado, and J. G. Molina, Morsa: A Scalable Approach for Persisting and Accessing Large Models, 14th ACM IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS, pp.77-92, 2011.
DOI : 10.1145/331697.331760

G. Blair, N. Bencomo, and R. B. France, Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009.
DOI : 10.1109/MC.2009.326

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

. Object-management-group and . Inc, Meta Object Facility (MOF) 2.4.1 Core Specification) Final Adopted Specification, 2011.

. Object-management-group and . Inc, ) Final Adopted Specification, Unified Modeling Language (UML) 2.4.1 Infrastructure, 2011.

. Object-management-group and . Inc, Object Constraint Language (OCL) 2.3.1 Specification, 2012.

P. Henderson, H. James, and J. Morris, A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages , POPL '76, pp.95-103, 1976.
DOI : 10.1145/800168.811543

R. Douence and P. Fradet, A systematic study of functional language implementations, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.344-387, 1998.
DOI : 10.1145/276393.276397

B. Babcock, S. Babu, M. Datar, R. Motwani, and J. Widom, Models and issues in data stream systems, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, pp.1-16, 2002.
DOI : 10.1145/543613.543615

M. Franklin and S. Zdonik, A framework for scalable dissemination-based systems, ACM SIGPLAN Notices, vol.32, issue.10, pp.94-105, 1997.
DOI : 10.1145/263700.263725

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008.
DOI : 10.1145/1368088.1368158

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

Y. Bertot, Coinduction in coq, p.603119, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00001174

J. Steel and J. M. Jézéquel, On model typing, Software and Systems Modeling (SoSyM), pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00477547