J. O. Aagedal, 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, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

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. 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

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 2003, pp.620-631, 2003.
DOI : 10.1007/3-540-36494-3_54

P. Bouyer and A. Petit, Decomposition and Composition of Timed Automata, ICALP 1999, pp.210-219, 1999.
DOI : 10.1007/3-540-48523-6_18

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

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

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 2003, 2003.
DOI : 10.1007/3-540-45075-0_4

S. Graf and I. Ober, How useful is the UML real-time profile SPT without semantics, 2004.

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-99, 2003.
DOI : 10.1109/JPROC.2002.805825

T. Kalibera and P. Tuma, Distributed Component System Based on Architecture Description: The SOFA Experience, ODBASE 2002, pp.981-994, 2002.
DOI : 10.1007/3-540-36124-3_63

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

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

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

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, vol.26, issue.1, p.23, 2000.
DOI : 10.1109/32.825767

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

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

O. Management-group and O. , UML Profile for Schedulability, Performance, and Time Specification, Version 1, 2005.

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

A. Tesanovic, Aspects and components in real-time system development: Towards reconfigurable and reusable software, Journal of Embedded Computing, vol.1, issue.1, pp.17-37, 2005.

S. Vestal, Fixed-priority sensitivity analysis for linear compute time models, IEEE Transactions on Software Engineering, vol.20, issue.4, 1994.
DOI : 10.1109/32.277577