Esterel
One of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.

No queries for www-sop.inria.fr/meije/esterel/esterel-eng.html