J. Forget, F. Boniol, D. Lesens, C. Pagetti, and M. Pouzet, Programming languages for hard real-time embedded systems, 4th European Congress on Embedded Real-Time Software (ERTS'08), 2008.

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

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Readings in hardware, 2001.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proc. IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, 1991.
DOI : 10.1016/0167-6423(91)90001-E

E. A. Lee and A. L. Sangiovanni-vincentelli, Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1996.
DOI : 10.1109/ICCAD.1996.569613

A. Curic, Implementing lustre programs on distributed platforms with real-time constraints, 2005.

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, 2006.

G. Kahn, The semantics of simple language for parallel programming, International Federation for Information Processing (IFIP) Congress, 1974.

J. Colaço and M. Pouzet, Clocks as First Class Abstract Types, Third International Conference on Embedded Software (EMSOFT'03), S. Berlin/Heidelberg, 2003.
DOI : 10.1007/978-3-540-45212-6_10

B. C. Pierce, Types and programming languages, 2002.

D. Rémy, Extending ML type system with a sorted equational theory, INRIA, 1992.

L. George, N. Rivierre, and M. Spuri, Preemptive and non-preemptive real-time uniprocessor scheduling, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073732

M. R. Garey and D. S. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completeness, 1979.

J. Xu and D. L. Parnas, Scheduling processes with release times, deadlines, precedence and exclusion relations, IEEE Transactions on Software Engineering, vol.16, issue.3, pp.360-369, 1990.
DOI : 10.1109/32.48943

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N -Synchronous Kahn Networks: a relaxed model of synchrony for real-time systems, ACM International Conference on Principles of Programming Languages (POPL'06), 2006.

I. Smarandache and P. L. Guernic, A canonical form for affine relations in signal, INRIA, Tech. Rep. RR-3097, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073594

L. Cucu and Y. Sorel, Real-time scheduling for systems with precedence, periodicity and latency constraints, 10th International Conference on Real-Time Systems (RTS'02), 2002.

G. Berry and E. Sentovich, Multiclock Esterel, 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'01, 2001.
DOI : 10.1007/3-540-44798-9_10