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, pp.103-149, 1991.

D. Biernacki, J. Colaco, G. Hamon, and M. Pouzet, Clock-directed modular code generation of synchronous data-flow languages, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: A declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL'87, pp.178-188, 1987.

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, SIGPLAN Notices, vol.41, issue.1, pp.180-193, 2006.

R. W. Floyd, Algorithm 97: Shortest path, Communication of ACM, vol.5, issue.6, p.345, 1962.

J. Forget, A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints, 2009.
URL : https://hal.archives-ouvertes.fr/tel-01942421

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

A. Graillat, Code Generation for Multi-Core Processor with Hard Real-Time Constraints, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02069346

G. Hamon, Calcul d'horloges et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML, 2002.

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Giotto: A time-triggered language for embedded programming, Embedded Software, pp.166-184, 2001.

L. Mandel and F. Plateau, Scheduling and buffer sizing of n-synchronous systems, Mathematics of Program Construction, pp.74-101, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01508142

L. Mandel, F. Plateau, and M. Pouzet, Lucy-n: a n-Synchronous Extension of Lustre, pp.288-309, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545801

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multi-task implementation of multi-periodic synchronous programs, Discrete Event Dynamic Systems, vol.21, issue.3, pp.307-338, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638936

F. Plateau, Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, 2010.

M. Pouzet, Lucid Synchrone: un langage synchrone d'ordre supérieur, 2002.

. Irina-madalina-smarandache, Transformations affines d'horloges : application au codesign de systemes temps-reel en utilisant les langages Signal et Alpha, 1998.

R. Wyss, F. Boniol, J. Forget, and C. Pagetti, A synchronous language with partial delay specification for real-time systems programming, 10th Asian Symposium on Programming Languages and Systems, pp.223-238, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00800975