A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

F. Boniol, P. Hladik, C. Pagetti, F. Aspro, and V. Jégu, A Framework for Distributing Real-Time Functions, 6th International Conference on Formal Modeling and Analysis of Timed Systems, pp.155-169, 2008.
DOI : 10.1007/978-3-540-85778-5_12

F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri, Scheduling in real-time systems, 2002.
DOI : 10.1002/0470856343
URL : https://hal.archives-ouvertes.fr/hal-01125110

F. Dormoy, Scade 6 a model based solution for safety critical software development, Embedded Real-Time Systems Conference (ERTS'2008), 2008.

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

N. Halbwachs, F. Lagnier, and C. Ratel, Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

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

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

D. , L. Berre, and A. Parrain, The sat4j library, release 2.2 system description, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

C. E. Leiserson and J. B. Saxe, Optimizing synchronous systems, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), pp.23-36, 1981.
DOI : 10.1109/SFCS.1981.34
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=3462&context=compsci

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

F. Maraninchi and N. Halbwachs, Compositional semantics of nondeterministic synchronous languages, Proceedings of the 6th European Symposium on Programming Languages and Systems, ESOP '96, pp.235-249, 1996.

W. O. Timothy, T. Neil, S. Sisades, and H. Edwin, Optimal scheduling of data-flow graphs using extended retiming, Proceedings of the ISCA 12th International Conference on Parallel and Distributed Computing Systems, pp.292-297, 1999.

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

. Robert-endre-tarjan, Enumeration of the Elementary Circuits of a Directed Graph, SIAM Journal on Computing, vol.2, issue.3, pp.211-216, 1973.
DOI : 10.1137/0202017