]. J. Bibliographie-[-aag01, Quality of Service Support in Development of Distributed Systems, 2001.

R. Alur, C. Courcoubetis, and D. L. Dill, Model-checking in dense real-time. Information and Computation, pp.2-34, 1993.

D. [. Alur and . 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

E. Amnell, P. Fersman, W. Pettersson, H. Yi, and . Sun, Code synthesis for timed automata, Nordic J. of Computing, vol.9, issue.4, pp.269-300, 2002.

R. Alur, T. A. Henzinger, and P. Ho, Automatic symbolic verification of embedded systems, IEEE Real-Time Systems Symposium, pp.2-11, 1993.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous realtime components in bip, SEFM '06 : Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, 2004.
DOI : 10.1007/978-3-540-24774-6_3

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos : A model-checking tool for real-time systems, Proc. 1998 Computer-Aided Verification , CAV'98, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

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

S. [. Batory and . Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology, vol.1, issue.4, pp.355-398, 1992.
DOI : 10.1145/136586.136587

]. P. Bou03 and . Bouyer, Untameable timed automata !, STACS '03 : Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, pp.620-631, 2003.

K. [. Brown and . Wallnan, Engineering of component-based systems, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW), p.414, 1996.
DOI : 10.1109/ICECCS.1996.558485

E. [. Clarke, A. P. Emerson, and . Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

R. [. Consel and . Marlet, Architecturing software using a methodology for language development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

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

P. Collet, R. Rousseau, T. Coupaye, and N. Rivierre, A Contracting System for Hierarchical Components, ICSE'2005 -CBSE8, 2005.
DOI : 10.1007/11424529_13

C. Daws, Optikron: A tool suite for enhancing model-checking of real-time systems, Computer Aided Verification, pp.542-545, 1998.
DOI : 10.1007/BFb0028778

S. [. Daws and . Yovine, Reducing the number of clock variables of timed automata, 17th IEEE Real-Time Systems Symposium, p.73, 1996.
DOI : 10.1109/REAL.1996.563702

J. Estublier, J. Favre, J. Bézivin, L. Duchien, R. Marvie et al., Action Spécifique CNRS sur l'Ingénierie Dirigée par les Modèles, 2005.

J. Favre, J. Establier, and M. Blay-fornarino, L'ingénierie dirigée par les modèles : au-delà du MDA, Hermes-Lavoisier, 2006.

[. Fernandez, Aldébaran : A tool for verification of communicating processes

]. R. Flo67 and . Floyd, Assigning meaning to programs, Mathematical aspects of computer science : Proc. American Mathematics Soc. symposia, pp.19-31, 1967.

I. [. Graf and . Ober, A Real-Time Profile for UML and How to Adapt It to SDL, SDL Forum 2003, 2003.
DOI : 10.1007/3-540-45075-0_4

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

J. Greenfield, K. Short, S. Cook, S. Kent, and J. Crupi, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2001.
DOI : 10.1145/949344.949348

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

I. Iec, Open distributed processing-reference model -part 2 : Foundations international standard 10746-2 itu-t recommendation x Real-time specification patterns, ICSE27, pp.372-381, 1995.

R. Koymans, Specifying real-time properties with metric temporal logic. Real- Time Syst, pp.255-299, 1990.

G. T. Leavens, K. Rustan, M. Leino, E. Poll, C. Ruby et al., JML, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ '15, pp.105-106134, 1989.
DOI : 10.1145/2807426.2817926

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

B. Meyer, Eiffel : the language, 1992.

P. Muller, F. Fleurey, F. Fondement, M. Hassenforder, R. Schneckenburger et al., Model-Driven Analysis and Synthesis of Concrete Syntax, MoDELS MoDELSMP92] Zohar Manna and Amir Pnueli, pp.98-110, 1992.
DOI : 10.1007/11880240_8
URL : https://hal.archives-ouvertes.fr/hal-00795597

. E. Mrk-+-97-]-l, Y. S. Moser, G. Ramakrishna, P. M. Kutty, L. K. Melliar-smith et al., A graphical environment for the design of concurrent real-time systems, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.31-79, 1997.

]. L. Rua84 and . Ruane, Abstract data types in assembly language programming, ACM SIG- PLAN Notices, vol.19, issue.1, pp.63-67, 1984.

[. Saudrais, O. Barais, D. Laurence, and N. Plouzeau, From formal specifications to QoS monitors., Special Issue on Advances in Quality of Service Management, pp.7-24, 2007.
DOI : 10.5381/jot.2007.6.11.a1

R. Soley, MDA Model-Driven Architecture Online presentation http, 2000.

]. C. Szy98 and . Szyperski, Component Software : Beyond Object-Oriented Programming, 1998.

]. A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

W. Yi, P. Pettersson, and M. Daniels, Automatic Verification of Real-Time Communicating Systems by Constraint-Solving, Proc. of the 7th Int. Conf. on Formal Description Techniques, pp.223-238, 1994.
DOI : 10.1007/978-0-387-34878-0_18

T. Regroupement-des, 66 3.8 Transformation des états 70 3.9 Transformation des localités, Violation des transitions gardées, p.77

S. Saudrais, O. Barais, and N. Plouzeau, Composants avec Propriétés Temporelles, Dans Conférence Francophone sur les architectures logicielles, Proceedings of the CAL Hermès Sciences, 2006.