Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden. Synthesizing safe state machines from Esterel. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 113-124, ACM, 2006. [doi]
Abstract is missing.