"Efficient compilation of ESTEREL for real-time embedded systems."

Daniel Weil et al. (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics