Andrzej Wasowski. On efficient program synthesis from statecharts. In Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003. pages 163-170, ACM, 2003. [doi]
Abstract is missing.