F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Paserone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, 2003.
DOI : 10.1109/MC.2003.1193228

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, 1999.
DOI : 10.1109/2.774917

J. Bézivin, N. Farcet, J. Jézéquel, B. Langlois, and D. Pollet, Reflective Model Driven Engineering, Proceedings of UML 2003, pp.175-189, 2003.
DOI : 10.1007/978-3-540-45221-8_17

O. Defour, J. Jézéquel, and N. Plouzeau, Applying CLP to Predict Extra-Functional Properties of Component-Based Models, Proceedings of Logic Programming: 20th International Conference number 3132 in LNCS, 2004.
DOI : 10.1007/978-3-540-27775-0_35

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

O. Defour, J. Jézéquel, and N. Plouzeau, Extra-Functional Contract Support in Components, Proc. of International Symposium on Component-based Software Engineering (CBSE7), 2004.
DOI : 10.1007/978-3-540-24774-6_20

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

J. O. Aagedal, Quality of service support in development of distributed systems, 2001.

K. Wallnau, Volume iii: A technology for predictable assembly from certifiable compo-nents, 2003.

J. Klein, L. Hélouet, and J. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119662

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

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-52, 1992.
DOI : 10.1109/2.161279

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML'2005, pp.264-278, 2005.
DOI : 10.1007/11557432_19

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

R. H. Reusnerr, H. W. Schmidt, and P. I. , Reliability prediction for component-based software architectures, Journal of Systems and Software, vol.66, issue.3, pp.241-252, 2003.
DOI : 10.1016/S0164-1212(02)00080-8

]. C. Szyperski, Component software, beyond object-oriented programming