@inproceedings{SmythLvH16,
  author = {Steven Smyth and Stephan Lenga and Reinhard von Hanxleden},
  title = {Model Extraction for Legacy {C} Programs with {SCCharts}},
  booktitle = {Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ({ISoLA '16}), Doctoral Symposium},
  address = {Corfu, Greece},
  month = {October},
  year = {2016},
  volume = {74},
  series = {Electronic Communications of the EASST},
  pdf = {isolads16.pdf},
  note = {With accompanying \href{http://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/isola16-poster.pdf}{poster}},
  doi = {10.14279/tuj.eceasst.74.1044},
}