Steven Smyth, Christian Motika, Reinhard von Hanxleden. Synthesizing manually verifiable code for statecharts. In Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018. pages 1-10, ACM, 2018. [doi]
Abstract is missing.