Esterel

* 1A distributed language for synchronous interaction of real-time systems with their environment Uses explicit timing requests Esterel programs are compiled into finite automata