"Over-Approximated Control Flow Graph Construction on Pure Esterel."

Chul-Joo Kim et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics