Compiling Esterel door Dumitru Potop-Butucaru, Stephen A. Edwards & Gerard Berry