Steven Smyth Christian Motika Reinhard von Hanxleden Synthesizing manually verifiable code for statecharts. 1-10 2018 REBLS@SPLASH https://doi.org/10.1145/3281278.3281283 conf/oopsla/2018rebls db/conf/oopsla/rebls2018.html#SmythMH18