A. The and . Consortium, East-ADL2 specification, ITEA, Tech. Rep, pp.2008-2011, 2008.

T. East and -. Project, Definition of language for automotive embedded electronic architecture approach, ITEA, Tech. Rep, 2004.

A. The and . Consortium, ATESST -the modelling approach: Overview of the East-ADL2, ITEA, Tech. Rep, 2007.

R. Wilhelm, J. Engblom, A. Ermedahl, and N. Holsti, The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.
DOI : 10.1145/1347375.1347389

L. Sha, M. Klein, and J. Goodenough, Rate Monotonic Analysis for Real-Time Systems, Foundations of Real-Time Computing: Scheduling and Resource Management, pp.129-155, 1991.
DOI : 10.1007/978-1-4615-3956-8_5

J. Stankovic, Deadline scheduling for real-time systems: EDF and related algorithms, 1998.
DOI : 10.1007/978-1-4615-5535-3

D. Seto, J. Lehoczky, L. Sha, and K. Shin, On task schedulability in real-time control systems, 17th IEEE Real-Time Systems Symposium, pp.17-30, 1996.
DOI : 10.1109/REAL.1996.563693

H. Espinoza, H. Dubois, S. Gérard, J. Medina, D. Petriu et al., Annotating UML Models with Non-functional Properties for Quantitative Analysis, Satellite Events at the MoDELS 2005 Conference, pp.79-90, 2006.
DOI : 10.1007/11663430_9

C. André, F. Mallet, and R. De-simone, Modeling Time(s), Lecture Notes in Computer Science, G. Engels, B, vol.4735, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

C. André, Syntax and semantics of the clock constraint specication language, INRIA, Tech. Rep, vol.6925, 2009.

F. Mallet, C. André, and R. De-simone, CCSL: specifying clock constraints with UML/Marte, ISSE, vol.4, issue.3, pp.309-314, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371371

J. Deantoni, F. Mallet, and C. André, TimeSquare: on the formal execution of UML and DSL models Tool session of the 4th Model driven development for distributed real time systems, 2008.

O. Sei, An extensible source AADL tool environment, SEI AADL Team technical Report, 2004.

P. Cuenot, P. Frey, R. Johansson, H. Lonn, M. Reiser et al., Developing automotive products using the EAST-ADL2, and Autosar compliant architecture description language, Embedded Real-Time Software Conference, 2008.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and memory requirements analysis with AADL, ACM SIGAda Ada Letters, vol.25, issue.4, pp.1-10, 2005.

J. Stankovic, Vest: A toolset for constructing and analyzing component based operating systems for embedded and real-time systems, Proceedings of the Embedded Software, First International Workshop, pp.390-402, 2001.

I. T. Project, . Tech, H. Rep, R. Blom, H. Johansson et al., Available: www.timmo.org [21] Annotation with Timing Constraints in the Context of EAST-ADL2 and AUTOSAR?the Timing Augmented Description Language

K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller, Timing modeling and analysis for AUTOSAR-based software development - a case study, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.642-645, 2010.
DOI : 10.1109/DATE.2010.5457125

A. Hamann, R. Henia, M. Jersak, R. Racu, K. Richter et al., Symta/s-symbolic timing analysis for systems Citeseer, WIP Proc. Euromicro Conference on Real-Time Systems, pp.17-20, 2004.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

C. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 2002.
DOI : 10.1109/2.84874

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

G. Berry, The foundations of Esterel Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.425-454, 2000.

F. Boussinot and R. Simone, The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 2002.
DOI : 10.1109/5.97299

URL : https://hal.archives-ouvertes.fr/inria-00075075

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology, pp.83-96, 1994.
DOI : 10.1007/978-1-4471-3227-1_8