@inproceedings{SmythMvH+18,
  author = {Steven Smyth and Christian Motika and Reinhard von Hanxleden},
  title = {Synthesizing Manually Verifiable Code for Statecharts},
  booktitle = {Proc.\ Reactive and Event-based Languages \& Systems (REBLS '18), Workshop at the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)},
  address = {Boston, MA, USA},
  month = {November},
  year = {2018},
  doi = {10.1145/3281278.3281283},
  pdf = {rebls18.pdf},
}