P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071871

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, Special issue on Modeling and Design of Embedded Systems, 2003.
DOI : 10.1109/jproc.2002.805826

P. Polychrony-on, an Eclipse project in the POLARSYS Industry Working Group

G. Thierry, Polychronous Automata and their Use for Formal Validation of AADL Models

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language LUSTRE, Proc. of the IEEE, pp.1305-1320, 1991.

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with Signal, Proceedings of the IEEE, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

A. Gamatié, Designing Embedded Systems with the

H. Yu, Y. Ma, Y. Glouche, J. Talpin, L. Besnard et al., System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982263

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

H. Yu, Y. Ma, T. Gautier, L. Besnard, J. Talpin et al., Exploring system architectures in AADL via Polychrony and SynDEx, Frontiers of Computer Science, vol.38, issue.2, pp.627-649, 2013.
DOI : 10.1007/s11704-013-2307-z

URL : https://hal.archives-ouvertes.fr/hal-00916445

H. Yu, Y. Ma, T. Gautier, L. Besnard, P. L. Guernic et al., Polychronous modeling, analysis, verification and simulation for timed software architectures, Journal of Systems Architecture, vol.59, issue.10, pp.591157-1170, 2013.
DOI : 10.1016/j.sysarc.2013.08.004

URL : https://hal.archives-ouvertes.fr/hal-00916418

G. Berry, Scade: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 2007.

S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, A modular formal semantics for Ptolemy, Mathematical Structures in Computer Science, vol.218, issue.04, pp.834-881, 2013.
DOI : 10.1016/0304-3975(94)00202-T

E. A. Lee and S. Tripakis, Modal models in Ptolemy, Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010), pp.1-11, 2010.

G. Hamon and J. Rushby, An operational semantics for Stateflow, Fundamental Approaches to Software Engineering: 7th International Conference (FASE), pp.229-243, 2004.
DOI : 10.1007/s10009-007-0049-7

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines Statecharts: A visual formalism for complex systems, Proceedings of the 5th ACM international conference on Embedded software, EMSOFT '05, pp.173-182231, 1987.

Y. Wang, J. Talpin, A. Benveniste, and P. L. Guernic, A semantics of UML state-machines using synchronous pre-order transition systems, Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC '00, pp.96-103, 2000.

C. André, Semantics of SyncCharts, 2003.

R. Von-hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler et al., SCCharts: Sequentially constructive statecharts for safety-critical applications, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2014.

R. Von-hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann et al., Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013.
DOI : 10.7873/DATE.2013.128

I. Radojevic, Z. Salcic, and P. Roop, Design of Distributed Heterogeneous Embedded Systems in DDFCharts, IEEE Transactions on Parallel and Distributed Systems, vol.22, issue.2
DOI : 10.1109/TPDS.2010.69

J. Talpin, C. Brunette, T. Gautier, and A. Gamatié, Polychronous mode automata, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.83-92, 2006.
DOI : 10.1145/1176887.1176900

URL : https://hal.archives-ouvertes.fr/hal-00541469

P. Raymond, Y. Roux, and E. Jahier, Lutin: A Language for Specifying and Executing Reactive Scenarios, EURASIP Journal on Embedded Systems, vol.9, issue.1, 2008.
DOI : 10.1007/s10009-006-0023-9

F. Cadoret, E. Borde, S. Gardoll, and L. Pautet, Design patterns for rule-based refinement of safety critical embedded systems models, 19th International Conference on Engineering of Complex Computer Systems, pp.67-76, 2012.

P. C. Ölveczky, A. Boronat, and J. Meseguer, Formal semantics and analysis of behavioral aadl models in real-time maude, Proceedings of the 12th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, pp.47-62, 2010.

Z. Yang, K. Hu, J. Bodeveix, L. Pi, D. Ma et al., Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.27-29, 2011.
DOI : 10.1109/ICECCS.2011.41

L. Besnard, T. Gautier, P. L. Guernic, and J. Talpin, Compilation of Polychronous Data Flow Equations, Synthesis of Embedded Software
DOI : 10.1007/978-1-4419-6400-7_1

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

L. Besnard, T. Gautier, and P. L. Guernic, SIGNAL V4-INRIA version: Reference Manual, 2010.

S. Abramsky and A. Jung, Domain theory, Handbook of Logic in Computer Science, pp.1-168, 1994.

G. Kahn, The semantics of a simple language for parallel programming, Proceedings of the IFIP Congress, pp.471-475, 1974.

G. D. Plotkin, A Powerdomain Construction, SIAM Journal on Computing, vol.5, issue.3, pp.452-487, 1976.
DOI : 10.1137/0205035

N. Halbwachs, P. Raymond, and C. , Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming, 1991.
DOI : 10.1007/3-540-54444-5_100

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6974

H. Marchand and M. L. Borgne, Synthesis of discrete-event controllers based on the Signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

Y. Sorel, SynDEx: System-Level CAD Software for Optimizing Distributed Real-Time Embedded Systems, 37. Wikipedia. Autonomous cruise control system ? wikipedia, the free encyclopedia, pp.68-69, 2004.

L. Besnard, T. Gautier, C. Guy, P. Le-guernic, J. Talpin et al., Formal semantics of behavior specifications in the architecture analysis and design language standard, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), 2016.
DOI : 10.1109/HLDVT.2016.7748252

URL : https://hal.archives-ouvertes.fr/hal-01419968

L. Besnard, A. Bouakaz, T. Gautier, P. Le-guernic, Y. Ma et al., Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony, Science of Computer Programming, vol.106, pp.54-77, 2015.
DOI : 10.1016/j.scico.2014.05.014

URL : https://hal.archives-ouvertes.fr/hal-01095010

A. Bouakaz, Real-time scheduling of dataflow graphs, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00945453

V. C. Ngo, J. Talpin, and T. Gautier, Precise deadlock detection for polychronous data-flow specifications, Proceedings of the 2014 Electronic System Level Synthesis Conference (ESLsyn), 2014.
DOI : 10.1109/ESLsyn.2014.6850379

URL : https://hal.archives-ouvertes.fr/hal-01086843

. Talpin, Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00970244