A diStributed language for SynchronouS interaction of real-timeSyStemS with their environment. USeS explicit timing requeStS. ESterel programS are compiled into finite automata. ["The ESTEREL Programming Language and itS Mathematical SemanticS", G. Berry & L. CoSSerat, TR 327, INRIA, 1984].