The language Esterel has found success in many safety-critical applications, from aircraft landing gear to digital signal processors. Its unique combination of powerful control operations, deterministic concurrency, and real time execution bounds are indispensable to programmer in these kinds of safety-critical domains. However these features lead to an interesting facet...