T. Amagbegnon, L. Besnard, and P. L. Guernic, Arborescent Canonical Form of Boolean Expressions. Internal publication 826, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074382

T. P. Amagbegnon, P. L. Guernic, H. Marchand, and E. Rutten, SIGNAL ? the specification of a generic, verified production cell controller, Case Study Production Cell ? A Comparative Study in Formal Software Development, p.891, 1995.

M. Belhadj, Using VHDL for Link to Synthesis Tools, The Third Annual Atlantic Test Workshop, 1994.
DOI : 10.1109/ATW.1994.747844
URL : https://hal.archives-ouvertes.fr/hal-00545948

A. Benveniste and G. Berry, Special section on another look at real-time programming, Proceedings of the IEEE, pp.1268-1336, 1991.

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

A. Benveniste and P. L. Guernic, A denotational theory of synchronous communicating systems, Research Report, vol.685, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075868

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

L. Besnard, Compilation de SIGNAL: horloges, dépendances , environnement, 1992.

P. Bournai, C. Lavarenne, P. Le-guernic, O. Maffe?¨smaffe?¨s, and Y. Sorel, Interface SIGNAL-SynDEx, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00077109

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.35677-691, 1986.
DOI : 10.1109/TC.1986.1676819

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for programming synchronous systems, 14th ACM Symposium on Principles of Programming Languages, pp.178-188, 1987.

O. Coudert, SIAM: Une Bo??teBo??te a ` Outils Pour la Preuve Formelle de Systèmes Séquentiels, 1991.

B. Dutertre, Spécification et preuve de systèmes dynamiques, 1992.

N. Halbwachs, Synchronous programming of reactive systems, Kluwer, 1993.

N. Halbwachs, P. Raymond, and C. , Generating efficient code from data-flow programs, LNCS, vol.528, 1991.
DOI : 10.1007/3-540-54444-5_100
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6974

G. Kahn, The semantics of a simple language for parallel programming, Information Processing 74, pp.471-475, 1974.

P. , L. Guernic, and T. Gautier, Data-flow to von neumann: the SIGNAL approach, Advanced topics in data-flow computing, pp.413-438, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075329

C. , L. Maire, R. Andre-obrecht, and P. L. Guernic, A new real-time synchronous programming approach to continuous speech recognition, IEEE transactions on Automatic Control, 1990.

O. Maffe?¨smaffe?¨s, Ordonnancements de graphes de flots synchrones ; Application a ` SIGNAL, 1993.

F. Maraninchi, Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra, Automatic Verification Methods for Finite-state Systems, pp.38-53, 1989.
DOI : 10.1007/3-540-52148-8_4

F. M. Mignard23-]-e, S. K. Sentovich, L. L. , M. C. , M. R. et al., Compilation du langage Esterel en système d'e ´quations boolénnes SIS: A System form Sequential Circuit Synthesis, 1992.

H. J. Touati, H. Savoy, R. Brayton, B. Lin, and A. Sangiovanni-vicentelli, Implicit state enumeration of finite state machines using BDD's, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, pp.130-133, 1990.
DOI : 10.1109/ICCAD.1990.129860

W. W. Wadge and E. A. Ashcroft, LUCID, the Dataflow Programming Language, 1985.