@techreport{SmythDvH19,
  author = {Steven Smyth and S\"oren Domr\"os and Reinhard von Hanxleden},
  title = {A Case-Study on Manual Verification of State-based Source Code Generated by {KIELER} {SCCharts}},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  type = {Technical Report},
  month = {December},
  year = {2019},
  note = {{ISSN 2192-6247}},
  number = {1905},
  pdf = {report-1905.pdf},
}