R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

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

K. Chan, I. Poernomo, H. W. Schmidt, and J. Jayaputera, A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties, QoSA/SOQUA, pp.38-52, 2005.
DOI : 10.1007/11558569_5

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, Advances in Software Engineering and Knowledge Engineering, pp.1-40, 1993.
DOI : 10.1142/9789812798039_0001

T. A. Henzinger, C. M. Kirsch, and B. Horowitz, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825

T. Kalibera and P. Tuma, Distributed Component System Based on Architecture Description: The SOFA Experience, On the Move to Meaningful Internet Systems -DOA, CoopIS and ODBASE, pp.981-994, 2002.
DOI : 10.1007/3-540-36124-3_63

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, p.23, 2000.
DOI : 10.1109/32.825767

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

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Lecture Notes in Computer Science, vol.3713, pp.264-278, 2005.
DOI : 10.1007/11557432_19

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

J. Walkerdine, I. Sommerville, P. Sawyer, and J. Hutchison, Faceted service specification, Proceedings of Workshop on Service-Oriented Computing Requirements (SOCCER), 2005.
DOI : 10.1109/iciw.2007.3

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

J. C. Tournier, J. P. Babau, and V. Olive, Qinna, a Component-Based QoS Architecture, Lecture Notes in Computer Science, vol.3489, pp.107-122, 2005.
DOI : 10.1007/11424529_8

A. Metzner, B. Josko, T. Peikenkamp, E. Bde, W. Damm et al., Boosting re-use of embedded automotive applications through rich components, FIT'05 Foundations of Interface Technologies, 2005.