ESTEREL ([7], [21]) est un langage de programmation synchrone de haut niveau, textuel, de style impératif destiné à la programmation des systèmes réactifs.
