F. Deremer and H. Kron, Programming-in-the-large versus programming-in-the-small, Proc. of the Int. Conf. on Reliable software, pp.114-121, 1975.

S. Faucou, A. Déplanche, and Y. Trinquet, An ADL Centric Approach for the Formal Design of Real-Time Systems, Architecture description language, pp.67-82, 2004.
DOI : 10.1007/0-387-24590-1_5

E. Project, Definition of language for automotive embedded electronic architecture, Version 1, p.2

S. Vestal, MetaH user's manual -version 1, 1998.

P. Feiler, B. Lewis, and S. Vestal, The SAE avionic architecture description language (AADL) standard: A basis for model-based architecture driven embedded systems engineering

R. Allen, A formal approach to software architecture, 1997.

J. Farines, B. Berthomieu, J. Bodeveix, P. Dissaux, P. Farail et al., The Cotre project: rigorous development for real time systems in Avionics , in: WRTP'03 -Work. on real-time programming, pp.51-56, 2003.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

E. Cariou, C. Ballagny, A. Feugas, and F. Barbier, Contracts for Model Execution Verification, 7th European Conference Proceedings, pp.3-18, 2011.
DOI : 10.1007/978-3-642-21470-7_2
URL : https://hal.archives-ouvertes.fr/inria-00637763

S. Edwards, L. Lavagno, E. Lee, and A. Sangiovanni-vincentelli, Design of embedded systems: formal models, validation, and synthesis, Proceedings of the IEEE, vol.85, issue.3, pp.366-390, 1997.
DOI : 10.1109/5.558710

T. Grötker, System design with SystemC, 2002.

A. Jantsch, Modeling embedded systems and SoC's: concurrency and time in models of computation, 2004.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

J. Bradfield, J. Filipe, and P. Stevens, Enriching ocl using observational mu-calculus, Fundamental Approaches to Software Engineering, pp.50-76, 2002.
DOI : 10.1007/3-540-45923-5_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1939

P. Ziemann and M. Gogolla, OCL Extended with Temporal Logic, Perspectives of System Informatics, pp.617-633, 2003.
DOI : 10.1007/978-3-540-39866-0_35

S. Flake, Enhancing the message concept of the object constraint language, Sixteenth International Conference on Software Engineering and Knowledge Engineering Citeseer, pp.161-166, 2004.

M. Kyas and F. De-boer, On Message Specifications in OCL, UML 2003 Workshop on Compositional Verification of UML Models, 2003.
DOI : 10.1016/j.entcs.2004.02.017
URL : http://doi.org/10.1016/j.entcs.2004.02.017

X. Crégut, B. Combemale, M. Pantel, R. Faudoux, and J. Pavei, Generative Technologies for Model Animation in the TopCased Platform, Modelling Foundations and Applications: 6th European Conference Proceedings, pp.90-103, 2010.
DOI : 10.1007/978-3-642-13595-8_9

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. Le-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, pp.425-454, 2000.

F. Boussinot and R. D. 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

F. Mallet, J. Deantoni, C. André, and R. D. Simone, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894

F. Mallet, M. Peraldi-frati, and C. , André, Marte CCSL to execute East-ADL timing requirements, in: Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp.249-253, 2009.
DOI : 10.1109/isorc.2009.18
URL : https://hal.inria.fr/inria-00383262/file/EastMarte.pdf

M. Peraldi-frati and J. Deantoni, Scheduling Multi Clock Real Time Systems: From Requirements to ImplementationService-oriented Real-time Distributed Computing, International Symposium on Object/Component, p.50, 2011.
DOI : 10.1109/isorc.2011.16
URL : https://hal.inria.fr/inria-00586851/file/isorc2011.pdf

C. Glitia, J. Deantoni, and F. Mallet, Logical Time @ Work: Capturing Data Dependencies and Platform Constraints, System Specification and Design Languages, pp.223-238978, 1007.
DOI : 10.1007/978-1-4614-1427-8_14
URL : https://hal.archives-ouvertes.fr/inria-00545866

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J. Babau et al., RT-simex, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.377-378, 2010.
DOI : 10.1145/1882291.1882357
URL : https://hal.archives-ouvertes.fr/inria-00587151

K. Garcés, J. Deantoni, and F. Mallet, A Model-Based Approach for Reconciliation of Polychronous Execution Traces, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011.
DOI : 10.1109/SEAA.2011.47

C. André, J. Deantoni, F. Mallet, and R. D. Simone, The Time Model of Logical Clocks Available in the OMG MARTE Profile, Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, p.28, 2010.
DOI : 10.1007/978-1-4419-6400-7_7

R. Gascon, F. Mallet, J. Deantoni, U. Marte, and P. Ccsl, Logical time and temporal logics: comparing, 18th International Symposium on Temporal Representation and Reasoning (TIME'11), pp.141-148, 2011.
DOI : 10.1109/time.2011.10
URL : https://hal.archives-ouvertes.fr/inria-00540738

H. Yu, J. Talpin, L. Besnard, T. Gautier, F. Mallet et al., Polychronous Analysis of Timing Constraints in UML MARTE, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp.145-151, 2010.
DOI : 10.1109/ISORCW.2010.10
URL : https://hal.archives-ouvertes.fr/inria-00497249

C. André, F. Mallet, and R. De-simone, Modeling Time(s), MoDELS, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, TOOLS -50th International Conference on Objects, Models, Components of Lecture Notes in Computer Science -LNCS, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

E. Cariou, R. Marvie, L. Seinturier, and L. Duchien, Ocl for the specification of model transformation contracts, OCL and Model Driven Engineering, UML 2004 Conference Workshop, pp.69-83, 2004.

N. Ge and M. , Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time Constraints Dedicated Formal Semantic, p.7
URL : https://hal.archives-ouvertes.fr/hal-00677925

E. A. Lee and D. G. Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, vol.36, issue.1, pp.24-35, 1987.
DOI : 10.1109/TC.1987.5009446