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.

F. Boniol, H. Cassé, E. Noulard, and C. Pagetti, Deterministic execution model on COTS hardware, Architecture of Computing Systems (ARCS), pp.98-110, 2012.

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