A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J. Talpin et al., A Protocol for Loosely Time-Triggered Architectures, Embedded Software Conference (EMSOFT'2002), volume 2491 of Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-45828-X_19
URL : https://hal.archives-ouvertes.fr/inria-00526261

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

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

P. Caspi, C. Mazuet, R. Salem, and D. Weber, Formal design of distributed control systems with lustre, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99 Proceedings, volume 1698 of Lecture Notes in Computer Science, 1999.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Dataaow Programming Language Lustre, Proc. of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

M. Kerbbuf, D. Nowak, and J. Talpin, Specification and Verification of a Steam-Boiler with Signal-Coq, Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, pp.356-371, 2000.
DOI : 10.1007/3-540-44659-1_22

R. Lazi-c and D. Nowak, A Unifying Approach to Data-Independence, Proceedings of the 11th International Conference on Concurrency Theory, pp.581-595, 2000.
DOI : 10.1007/3-540-44618-4_41

D. Nowak, J. Beauvais, and J. Talpin, Co-inductive axiomatization of a synchronous language, Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'98), volume 1479 of Lecture Notes in Computer Science, pp.387-399, 1998.
DOI : 10.1007/BFb0055148
URL : https://hal.archives-ouvertes.fr/hal-00544505

B. Werner, Une Th eorie des Constructions Inductives, 1994.