Synthesizing manually verifiable code for statecharts.

Steven Smyth, Christian Motika, Reinhard von Hanxleden

Browse the full OOPSLA paper archive.