1. Compiling Esterel into Static Discrete-Event Code Edwards, Stephen A.; Kapadia, Vimal; Halas, Michael 2004 Articles Computer science