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

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

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

O. Barais, Construire et Ma??triserMa??triser l'Evolution d'une Architecturè a base de Composants

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

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

A. Bobbio, System Modelling with Petri Nets, Systems Reliability Assessment, 1990.
DOI : 10.1007/978-94-009-0649-5_6

G. Bollella and J. Gosling, The real-time specification for Java, Computer, vol.33, issue.6, pp.47-54, 2000.
DOI : 10.1109/2.846318

P. Bouyer, Untameable Timed Automata!, STACS '03 : Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, pp.620-631, 2003.
DOI : 10.1007/3-540-36494-3_54

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

E. M. Clarke, E. A. Emerson, and A. P. 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

S. Graf and I. 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

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 In On the Move to Meaningful Internet Systems -DOA, CoopIS and OD- BASE, pp.981-994, 2002.

J. Klein, L. Hélouet, and J. M. , 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

S. Konrad and B. H. Cheng, Real-time specification patterns, ICSE27, pp.372-381, 2005.

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. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI Quarterly, vol.2, issue.3, pp.219-246, 1989.

J. Magee, Behavioral analysis of software architectures using LTSA, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.634-637, 1999.
DOI : 10.1145/302405.302726

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. M. Merlin, A study of the recoverability of computing systems, 1974.

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

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

O. Uml, Profile for Schedulability, Performance, and Time Specification, 2005.

C. Ramchandani, Analysis of asynchronous concurrent systems by timed petri nets, 1974.

S. Saudrais, O. Barais, and L. Duchien, Using Model-Driven Engineering to generate QoS Monitors from a formal specification, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), p.45, 2006.
DOI : 10.1109/EDOCW.2006.74
URL : https://hal.archives-ouvertes.fr/inria-00512553

S. Saudrais, O. Barais, and N. Plouzeau, Composants avec propriétés temporelles, Hermes Science, pp.143-149, 2006.

B. Schätz, Interface descriptions for embedded components, 3rd Workshop on Objectoriented Modeling of Embedded Real-Time Systems (OMER'05), 2005.

A. M. Zaremski and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology, vol.6, issue.4, pp.333-369, 1997.
DOI : 10.1145/261640.261641