Esterelは、リアクティブなシステムの仕様記述言語であるとともに、有限状態モデルへのコンパイラでもあります。
Esterelは、LUSTREや、Signalと同様の同期型言語です。

http://www-sop.inria.fr/meije/esterel/esterel-eng....

Esterelは、バークレー校のハード／ソフト協調デザインプロジェクト Polis でも採用されています。