C. Ballagny, N. Hameurlain, F. Barbier, and «. Mocas, MOCAS: A State-Based Component Model for Self-Adaptation, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009.
DOI : 10.1109/SASO.2009.11
URL : https://hal.archives-ouvertes.fr/tel-00472005

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Making Components Contract Aware, pp.38-45, 1999.
DOI : 10.1109/2.774917

E. Cariou, C. Ballagny, A. Feugas, and F. Barbier, Contracts for Model Execution Verification, LNCS, vol.6698, issue.11, pp.3-18, 2011.
DOI : 10.1007/978-3-642-21470-7_2
URL : https://hal.archives-ouvertes.fr/inria-00637763

B. Combemale, X. Crégut, P. Garoche, and T. Xavier, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958
URL : https://hal.archives-ouvertes.fr/hal-00371553

B. Meyer, Design by Contract " », IEEE Computer (Special Issue on Inheritance & Classification), vol.25, issue.10, pp.40-52, 1992.