A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

D. Biernacki, J. L. Colaço, G. Hamon, and M. Pouzet, Clock-directed modular code generation for synchronous data-flow languages, LCTES, pp.121-130, 2008.

A. Boujarwah and K. Saleh, Compiler test case generation methods: a survey and assessment, Information and Software Technology, vol.39, issue.9, pp.617-625, 1997.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A declarative language for programming synchronous systems, POPL 1987, pp.178-188, 1987.

G. Hagen and C. Tinelli, Scaling up the formal verification of Lustre programs with SMT-based techniques, pp.109-117, 2008.

T. Kahsai and C. Tinelli, PKind: a parallel k-induction based model checker, PDMC. EPTCS, vol.72, pp.55-62, 2011.

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00415861

G. C. Necula, Translation validation for an optimizing compiler, SIGPLAN Not, vol.35, issue.5, pp.83-94, 2000.

M. Whalen, G. Gay, D. You, M. P. Heimdahl, and M. Staats, Observable modified condition/decision coverage, ICSE 2013, pp.102-111, 2013.