U. Aßmann, Invasive software composition, 2003.

A. Azurat, Mechanization of invasive software composition in F-logic, Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications, pp.89-94, 2007.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

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

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, IET Software, vol.4, issue.3, pp.181-193, 2010.
DOI : 10.1049/iet-sen.2009.0011

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

P. Bernstein, A. Halevy, and R. Pottinger, A vision for management of complex models, ACM SIGMOD Record, vol.29, issue.4, pp.55-63, 2000.
DOI : 10.1145/369275.369289

A. Boronat and J. Meseguer, An algebraic semantics for mof. Formal Asp, Comput, vol.22, issue.3-4, pp.269-296, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00567269

S. Clarke, Extending standard UML with model composition semantics, Science of Computer Programming, vol.44, issue.1, pp.71-100, 2002.
DOI : 10.1016/S0167-6423(02)00030-8

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, pp.187-243, 2002.
DOI : 10.1016/S0304-3975(01)00359-0

M. D. Fabro and P. Valduriez, Towards the efficient development of model transformations using model weaving and matching transformations, Software & Systems Modeling, vol.8, issue.3, pp.305-324, 2009.
DOI : 10.1007/s10270-008-0094-z

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

M. Giorgino, M. Strecker, R. Matthes, and M. Pantel, Verification of the Schorr-Waite Algorithm ??? From Trees to Graphs, International Symposium on Logic- Based Program Synthesis and Transformation (LOPSTR'10), 2010.
DOI : 10.1145/363534.363554

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

F. Heidenreich, J. Henriksson, J. Johannes, and S. Zschaler, On languageindependent model modularisation. Transactions on Aspect-Oriented Software Development VI pp, pp.39-82, 2009.

J. Henriksson, A Lightweight Framework for Universal Fragment Composition?with an application in the Semantic Web, 2009.

C. Jeanneret, An Analysis of Model Composition Approaches, 2007.

J. Johannes, Component-Based Model-Driven Software Development, 2011.

G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP), pp.220-242, 1997.
DOI : 10.1007/BFb0053381

M. Kifer, G. Lausen, and J. Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, pp.741-843, 1995.
DOI : 10.1145/210332.210335

. Object-management-group and . Inc, Meta Object Facility (MOF) 2.0 Core Specification, 2006.

C. Picard and R. Matthes, Coinductive graph representation : the problem of embedded lists. Electronic Communications of the EASST, Special issue Graph Computation Models, p.10, 2011.

I. Poernomo, The meta-object facility typed, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1845-1849, 2006.
DOI : 10.1145/1141277.1141710

I. Poernomo, Proofs-as-Model-Transformations, Lecture Notes in Computer Science, vol.5063, pp.214-228, 2008.
DOI : 10.1007/978-3-540-69927-9_15

I. Poernomo and J. Terrell, Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq, ICFEM. Lecture Notes in Computer Science, vol.6447, pp.56-73, 2010.
DOI : 10.1007/978-3-642-16901-4_6

J. R. Romero, J. E. Rivera, F. Durán, and A. Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10

X. Thirioux, B. Combemale, X. Crégut, and P. L. Garoche, A Framework to Formalise the MDE Foundations, International Workshop on Towers of Models (TOWERS), pp.14-30, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00159748

J. Troya and A. Vallecillo, Towards a Rewriting Logic Semantics for ATL, Lecture Notes in Computer Science, vol.6142, pp.230-244, 2010.
DOI : 10.1007/978-3-642-13688-7_16

F. Xie and J. Browne, Verified systems by composition from verified components, ACM SIGSOFT Software Engineering Notes, vol.28, issue.5, pp.277-286, 2003.
DOI : 10.1145/949952.940109