Esterel

A programming language, dedicated to programming reactive systems, and a compiler which translates programs into finite-state machines.