O. and M. Qvt, Adopted Specification, Object Management Group, 2005.

F. Jouault and I. Kurtev, Transforming Models with ATL, pp.128-138, 2005.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

D. Harel and A. Pnueli, On the Development of Reactive Systems, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

E. Bainomugisha, A. L. Carreton, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, A survey on reactive programming, ACM Computing Surveys, vol.45, issue.4, 2013.
DOI : 10.1145/2501654.2501666
URL : http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf

F. Jouault and M. Tisi, Towards Incremental Execution of ATL Transformations, ICMT, pp.123-137, 2010.
DOI : 10.1007/978-3-642-13688-7_9
URL : https://hal.archives-ouvertes.fr/inria-00539063

M. Tisi, S. Martínez, F. Jouault, and J. Cabot, Lazy execution of model-tomodel transformations, in: Model Driven Engineering Languages and Systems, pp.32-46, 2011.

D. Smith, An introduction to building information modeling (BIM), Journal of Building Information Modeling, pp.12-14, 2007.

Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi et al., Towards automatic model synchronization from model transformations, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.164-173, 2007.
DOI : 10.1145/1321631.1321657
URL : http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/ase07.pdf

D. Hearnden, M. Lawley, and K. Raymond, Incremental Model Transformation for the Evolution of Model-Driven Systems, pp.321-335, 2006.
DOI : 10.1007/11880240_23

G. Bergmann, A. Okrös, I. Ráth, D. Varró, and G. Varró, Incremental pattern matching in the viatra model transformation system, Proceedings of the third international workshop on Graph and model transformations, GRaMoT '08, 2008.
DOI : 10.1145/1402947.1402953

G. Bergmann, I. Ráth, and D. Varró, Parallelization of graph transformation based on incremental pattern matching

H. Giese and R. Wagner, From model transformation to incremental bidirectional model synchronization, Software & Systems Modeling, vol.44, issue.2, pp.21-43, 2008.
DOI : 10.1007/s10270-008-0089-9

I. Dávid, I. Ráth, and D. Varró, Streaming Model Transformations By Complex Event Processing, pp.68-83, 2014.
DOI : 10.1007/978-3-319-11653-2_5

G. Bergmann, I. Dávid, ´. A. Hegedüs, ´. A. Horváth, I. Ráth et al., Viatra 3: A reactive model transformation platform, in: Theory and Practice of Model Transformations, pp.101-110, 2015.

D. Varró, G. Bergmann, ´. A. Hegedüs, ´. A. Horváth, I. Ráth et al., Road to a reactive and incremental model transformation platform: three generations of the viatra framework, Software & Systems Modeling, pp.1-21, 2016.

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

F. Boussinot, Reactive C: An extension of C to program reactive systems, Software: Practice and Experience, vol.21, issue.4, pp.401-428, 1991.
DOI : 10.1145/359576.359585

Z. Wan and P. Hudak, Functional reactive programming from first principles, ACM SIGPLAN Notices, vol.35, issue.5, pp.242-252, 2000.
DOI : 10.1145/358438.349331
URL : http://www.haskell.org/frp/gzip/frp-1st.ps.gz

G. Salvaneschi and M. Mezini, Reactive behavior in object-oriented applications, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.37-48, 2013.
DOI : 10.1145/2451436.2451442

H. Nakamura, Incremental computation of complex object queries, ACM SIGPLAN Notices, vol.36, issue.11, pp.156-165, 2001.
DOI : 10.1145/504311.504294

M. A. Hammer, K. Y. Phang, M. Hicks, and J. S. Foster, Adapton: Composable , demand-driven incremental computation, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation , PLDI '14, pp.156-166

A. Margara and G. Salvaneschi, We have a DREAM, Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, DEBS '14, pp.142-153, 2014.
DOI : 10.1145/2611286.2611290

M. Pennings, S. D. Swierstra, and H. Vogt, Using cached functions and constructors for incremental attribute evaluation, PLILP, pp.130-144, 1992.
DOI : 10.1007/3-540-55844-6_132

H. Vogt, S. D. Swierstra, and M. F. Kuiper, Efficient incremental evaluation of higher order attribute grammars, pp.231-242, 1991.
DOI : 10.1007/3-540-54444-5_102

J. Boyland, Incremental Evaluators for Remote Attribute Grammars, Electronic Notes in Theoretical Computer Science, vol.65, issue.3, pp.9-29, 2002.
DOI : 10.1016/S1571-0661(04)80424-9
URL : https://doi.org/10.1016/s1571-0661(04)80424-9

P. Hudak, J. Hughes, S. L. Jones, and P. Wadler, A history of Haskell, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, pp.1-55, 2007.
DOI : 10.1145/1238844.1238856

P. Henderson, J. H. Morris, and J. , 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

I. Ráth, G. Bergmann, A. Okrös, and D. Varró, Live Model Transformations Driven by Incremental Pattern Matching, Theory and Practice of Model Transformations, vol.5063, pp.107-121, 2008.
DOI : 10.1007/978-3-540-69927-9_8

E. Visser, Program Transformation with Stratego/XT, LNCS, vol.3016, pp.216-238, 2003.
DOI : 10.1007/978-3-540-25935-0_13

G. Taentzer, K. Ehrig, E. Guerra, J. De-lara, L. Lengyel et al., Varró-Gyapay, Model transformation by graph transformation: A comparative study, Proc. Workshop Model Transformation in Practice, 2005.

J. V. Wijngaarden and E. Visser, Program transformation mechanics: A classification of mechanisms for program transformation with a survey of existing transformation systems, Tech. rep., UU-CS, 2003.

M. Tisi, R. Douence, and D. Wagelaar, Lazy evaluation for ocl, OCL 2015? 15th International Workshop on OCL and Textual Modeling: Tools and Textual Model Transformations Workshop Proceedings, p.46, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01221072

M. Clavel, M. Egea, and M. A. De-dios, Building an efficient component for OCL evaluation

J. Cabot and E. Teniente, Incremental Evaluation of OCL Constraints, Lecture Notes in Computer Science, vol.4001, p.81, 2006.
DOI : 10.1007/11767138_7
URL : http://www.lsi.upc.edu/~jcabot/papers/CAiSE06.pdf