A multiform time approach to real-time system modeling: application to In Symposium on Industrial Embedded Systems, 2007. ,
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
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
The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
Bosch Automotive handbook, 2004. ,
A real-time profile for UML. STTT, Software Tools for Technology Transfer, pp.113-127, 2006. ,
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
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
Profile for Schedulability, Performance, and Time Specification OMG document number, pp.5-6, 2005. ,
EAST-ADL: The EAST-EEA Architecture Description Language, 2004. ,
Is Time a Real Time? -An Overview of Time Ontology in Informatics, volume F127 of NATO ASI, pp.283-307, 1994. ,
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
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
SAE Architecture Analysis and Design Language (AADL), 2006. ,