L. Aceto, A. Burgueño, and K. Larsen, Model checking via reachability testing for timed automata, Lecture Notes in Computer Science, vol.1384, pp.263-280, 1998.

C. André and F. Mallet, Specification and verification of time requirements with CCSL and esterel, Int. Conf. on Languages Compilers, and Tools for Embedded Systems (LCTES'09), vol.44, pp.167-176, 2009.

R. Alur and D. L. Dill, A theory of timed automata, Theoret. Comp. Sci, vol.126, issue.2, pp.183-235, 1994.

C. André, F. Mallet, and J. Deantoni, VHDL observers for clock constraint checking, Symposium on Industrial Embedded Systems (SIES), pp.98-107, 2010.

C. André, F. Mallet, R. De, and S. , Modeling time(s), 10th Intern. Conf on Model Driven Engineering Languages and Systems (MODELS '07), pp.559-573, 2007.

C. André, Representation and analysis of reactive behavior: a synchronous approach, Computational Engineering in Systems Applications (CESA), pp.19-29, 1996.

C. André, Computing synccharts reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004.

C. André, Syntax and semantics of the clock constraint specification language (ccsl), INRIA, 2009.

C. André, Verification of clock constraints: CCSL observers in Esterel, Research Report, vol.7211, 2010.

. Autosar, Specification of Timing extensions, 2009.

S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis, Testing conformance of real-time applications by automatic generation of observers, Electronic Notes in Theoretical Computer Science, vol.113, pp.23-43, 2005.

G. Boudol and I. Castellani, Permutation of transitions: An event structure semantics for CCS and SCCS, REX Workshop, vol.354, pp.411-427

. Springer, , 1988.

B. Albert-benveniste, . Caillaud, P. Luca, P. Carloni, A. L. Caspi et al., Composing heterogeneous reactive systems, ACM Trans. Embedded Comput. Syst, vol.7, issue.4, 2008.

A. Benveniste, B. Caillaud, P. Luca, A. L. Carloni, ;. A. Sangiovanni-vincentelli et al., The synchronous languages twelve years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.

A. +-06]-gerd-behrmann, K. G. David, J. Larsen, P. Håkansson, W. Pettersson et al., Uppaal 4.0, QEST, pp.125-126, 2006.

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

F. Belgacem-ben-hedia, J. Jumel, and . Babau, Formal evaluation of quality of service for data acquisition, FDL, pp.579-589, 2005.

J. Bruel, J. Lilius, A. M. Moreira, and R. B. France, Defining precise semantics for UML, Lecture Notes in Computer Science, vol.1964, pp.113-122

. Springer, , 2000.

. Brg-+-01-;-j-r, E. Beauvais, T. Rutten, R. Gautier, P. L. Houdebine et al., Modeling statecharts and activitycharts as signal equations

, ACM Trans. Softw. Eng. Methodol, vol.10, issue.4, pp.397-451, 2001.

P. Cuenot, D. Chen, S. Gérard, H. Lönn, M. Reiser et al., Managing complexity of automotive electronics using the East-ADL, Proc. of the 12th IEEE Int. Conf. on Engineering Complex Computer Systems (ICECCS'07), pp.353-358, 2007.

]. A. +-06, M. Cohen, C. Duranton, C. Eisenbeis, F. Pagetti et al., N-synchronous kahn networks: a relaxed model of synchrony for real-time systems, pp.180-193, 2006.

L. Cai and D. Gajski, Transaction level modeling: an overview

, CODES+ISSS, pp.19-24, 2003.

M. +-04]-dan-chiorean, A. Pasca, C. Cârcu, S. Botiza, and . Moldovan, Ensuring uml models consistency using the ocl environment

, Electr. Notes Theor. Comput. Sci, vol.102, pp.99-110, 2004.

A. Mohamed-yassin-chkouri, M. Robert, J. Bozga, and . Sifakis, Translating AADL into BIP -application to the verification of real-time systems, Lecture Notes in Computer Science, vol.5421, pp.5-19

. Springer, , 2008.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity -the ptolemy approach, Proceedings of the IEEE, vol.91, pp.127-144, 2003.

R. Eshuis, Symbolic model checking of UML activity diagrams, ACM Trans. Softw. Eng. Methodol, vol.15, issue.1, pp.1-38, 2006.

S. Flake and W. Müller, An ocl extension for real-time constraints, Object Modeling with the OCL, vol.2263, pp.150-171, 2002.

H. Peter, D. P. Feiler, J. J. Gluch, and . Hudak, The architecture analysis & design language (AADL): An introduction, 2006.

, ISSE, vol.4, issue.3, pp.285-292, 2008.

H. Peter, J. Feiler, and . Hansson, Flow latency analysis with the architecture analysis and design language, 2007.

M. Gogolla, F. Büttner, and M. Richters, Use: A uml-based specification environment for validating uml and ocl, Sci. Comput. Program, vol.69, issue.1-3, pp.27-34, 2007.

C. Glitia, P. Dumont, and P. Boulet, Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, vol.21, issue.2, pp.105-131, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00522751

W. Grieskamp and M. Lepper, Using use cases in executable z, ICFEM, pp.111-120, 2000.

, Jeremy Gunawardena. Causal automata. Theor. Comput. Sci, vol.101, issue.2, pp.265-288, 1992.

N. Halbwachs, Synchronous Programming of Reactive Systems

J. J. Michael-gonzález-harbour, . Gutiérrez-garcía, C. José, J. M. Palencia-gutiérrez, and D. Moyano, Mast: Modeling and analysis suite for real time applications, ECRTS, pp.125-134, 2001.

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the symta/s approach. Computers and Digital Techniques, IEE Proceedings, vol.152, issue.2, pp.148-166, 2005.

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.

C. A. Hoare, Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978.

A. Jantsch, Modeling Embedded Systems and SoCs -Concurrency and Time in Models of Computation. Systems on silicon, 2003.

. Jhr-+-07]-erwan, N. Jahier, P. Halbwachs, X. Raymond, D. Nicollin et al., Virtual execution of AADL models via a translation into synchronous programs, EMSOFT, pp.134-143, 2007.

R. Johansson, H. Lönn, and P. Frey, ATESST timing model, 2008.

G. Kahn, The semantics of a simple language for parallel programming. Information Processing, pp.471-475, 1974.

L. R. Korff and M. Korff, True concurrency = interleaving concurrency + weak conflict. Electr. Notes Theor. Comput. Sci, vol.14, 1998.

M. Richard, R. E. Karp, and . Miller, Properties of a model for parallel computations: Determinacy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Commun. ACM, vol.21, issue.7, pp.558-565, 1978.

A. , L. Guennec, and B. Dion, Bridging UML and safety-critical software development environments, Int. Conf. on Embedded and Real-Time Software, 2006.

E. A. Lee, What's ahead for embedded software?, IEEE Computer, vol.33, issue.9, pp.18-26, 2000.

E. A. Lee and D. G. Messerschmitt, Static scheduling of synchronous data flow programs for digital signal processing, IEEE Trans. Computers, vol.36, issue.1, pp.24-35, 1987.

S. Lee, F. Mallet, R. De, and S. , Dealing with AADL end-to-end flow latency with UML MARTE, 13th International Conference on Engineering of Complex Computer Systems (ICECCS'08), pp.228-233, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00200834

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.

F. Mallet and C. André, On the semantics of UML/Marte clock constraints, Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp.301-312, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00383279

F. Mallet, C. André, R. De, and S. , Modeling of immediate vs. delayed data communications: from AADL to UML Marte
URL : https://hal.archives-ouvertes.fr/inria-00204484

F. In, , pp.249-254, 2007.

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

K. L. Mcmillan, Interpolation and SAT-based model checking, Lecture Notes in Computer Science, vol.2725, pp.1-13, 2003.

F. Mallet, J. Deantoni, C. André, R. De, and S. , The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.6, issue.1-2, pp.99-106, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00464894

F. Mallet, . Robert-de-simone, and . Vs, AADL for DiscreteEvent and Discrete-Time Domains, LNEE, chapter, vol.36, pp.27-41, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00416656

F. Mallet, L. Robert-de-simone, and . Rioux, Event-triggered vs. time-triggered communications with UML Marte, Forum on Specification, Verification and Design Languages, pp.154-159, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371392

. Aamir-mehmood-khan, Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact, 2010.

P. Merlin, A Study of the Recoverability of Computer Systems. PhD, 1974.

R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.

A. Kahn, F. Mallet, C. André, and R. De-simone, IP-XACT components with abstract time characterization, Forum on specification, verification & Design Languages, FDL'09. ECSI, 2009.

P. K. Murthy and E. A. Lee, Multidimensional synchronous dataflow. Signal Processing, IEEE Transactions on, vol.50, issue.8, pp.2064-2079, 2002.

F. Mallet, M. Peraldi-frati, and C. André, Marte CCSL and East-ADL2 timing requirements, Research Report, vol.6781, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00348134

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

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Trans. Software Eng, vol.26, issue.1, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, Semantics of Concurrent Computation, vol.70, pp.266-284, 1979.

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part i. Theor, Comput. Sci, vol.13, pp.85-108, 1981.

. Omg and . Uml, Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group, 2005.

. Omg, Object Constraint Language, v2.0. Object Management Group, pp.2006-2011, 2006.

. Omg, Systems Modeling Language (SysML) Specification, v1.1. Object Management Group, 2008.

, UML Profile for MARTE, v1.0. Object Management Group, 2009.

. Omg and . Uml, Superstructure, v2.2. Object Management Group, 2009.

T. Pop, P. Eles, and Z. Peng, Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, CODES, pp.187-192, 2002.

C. A. Petri, Concurrency theory, Petri Nets: Central Models and their properties, vol.254, pp.4-24, 1987.

, IEEE standard for Property Specification Language (PSL), IEEE std, 1850.

D. Sinnig, P. Chalin, and F. Khendek, Lts semantics for use case models, SAC, pp.365-370, 2009.

M. Sheeran, S. Singh, and G. Stålmarck, Checking safety properties using induction and a sat-solver, Lecture Notes in Computer Science, vol.1954, pp.108-125, 2000.

H. Störrle, Semantics and verification of data flow in UML 2.0 activities

, Electr. Notes Theor. Comput. Sci, vol.127, issue.4, pp.35-52, 2005.

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, International Symposium on Circuits and Systems ISCAS 2000, vol.4, pp.101-104, 2000.

, The East-EEA Project. Definition of language for automotive embedded electronic architecture approach, 2004.

A. The and . Consortium, East-ADL2 specification, 2008.

T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design. The MK/OMG Press, 2008.

G. Winskel, Event structures, Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, vol.255, pp.325-392, 1986.
URL : https://hal.archives-ouvertes.fr/hal-00148921

G. Winskel, Events, causality and symmetry, BCS Int. Acad. Conf, pp.111-127, 2008.

L. Yu, R. B. France, and I. Ray, Scenario-based static analysis of uml class models, Lecture Notes in Computer Science, vol.5301, pp.234-248, 2008.

D. Yang, . Shen-sheng-zhang-;-huafeng, J. Yu, L. Talpin, T. Besnard et al., Polychronous analysis of timing constraints in UML MARTE, MoBE-RTES 2010, p.7, 2003.

M. Yue, J. Talpin, and T. Gautier, Virtual prototyping AADL architectures in a polychronous model of computation, MEMOCODE, pp.139-148, 2008.

L. Zaffalon, Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts. Presses Polytechniques et Universitaires Romandes, Lausane (CH), 2005.