F. A. Schreiber, Is Time a Real Time? An Overview of Time Ontology in Informatics, Real Time Computing, pp.283-307, 1994.
DOI : 10.1007/978-3-642-88049-0_14

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

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

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

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, 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. Le-guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

O. , U. Modeling, S. Graf, I. Ober, I. Ober14-]-l et al., Profile for Schedulability, Performance, and Time Specification, version 1.1 [11] OMG, Systems Modeling Language (SysML) Specification, ad EAST-ADL: The EAST-EEA Architecture Description Language, ITEA Project Version 1.02, 30.06 A real-time profile for UML TURTLE-P: a UML profile for the formal validation of critical and distributed systems [15] OMG, UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), Request for proposals Modeling Time(s) in UML Algebraic Techniques for Timed Systems, On the Semantic Foundations of Standard UML 2.0 Proceedings of the 9 th Intern. Conf. on Concurrency TheorySynchronous Kahn Networks -A Relaxed Model of Synchrony for Real-Time Systems " , ACM Intern. Conf. On Principles of Programming Languages, pp.181-19905, 1998.