C. André, F. Mallet, and M. Peraldi-frati, A multiform time approach to real-time system modeling: application to In Symposium on Industrial Embedded Systems, 2007.

L. Apvrille, P. Saqui-sannes, and F. Khendek, TURTLE-P: a UML profile for the formal validation of critical and distributed systems, Software & Systems Modeling, vol.42, issue.3, pp.449-466, 2006.
DOI : 10.1007/s10270-006-0029-5

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297

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

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

. Bosch, Bosch Automotive handbook, 2004.

S. Graf, I. Ober, and I. Ober, A real-time profile for UML. STTT, Software Tools for Technology Transfer, pp.113-127, 2006.

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

D. G. Messerschmitt, Synchronization in digital system design, IEEE Journal on Selected Areas in Communications, vol.8, issue.8, pp.1404-1419, 1990.
DOI : 10.1109/49.62819

O. Uml, Profile for Schedulability, Performance, and Time Specification OMG document number, pp.5-6, 2005.

I. Project, EAST-ADL: The EAST-EEA Architecture Description Language, 2004.

F. A. Schreiber, Is Time a Real Time? -An Overview of Time Ontology in Informatics, volume F127 of NATO ASI, pp.283-307, 1994.

R. Schwarz and F. Mattern, Detecting causal relationships in distributed computations: In search of the holy grail, Distributed Computing, vol.9, issue.3, pp.149-174, 1994.
DOI : 10.1007/BF02277859

B. Selic, On the Semantic Foundations of Standard UML 2.0, SFM-RT 2004, pp.181-199, 2004.
DOI : 10.1007/978-3-540-30080-9_6

S. Standards, SAE Architecture Analysis and Design Language (AADL), 2006.