A Translation of Statecharts to Esterel.

Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar

Browse the full FM paper archive.