Compiling Esterel into Static Discrete-Event Code. - Stephen A. Edwards; Vimal Kapadia; Michael Halasz (SLAP@ETAPS, 2004)