@inproceedings{SmythSRvH18d,
  author = {Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden},
  title = {Guidance in Model-based Compilations},
  booktitle = {Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ({ISoLA '18}), Doctoral Symposium},
  address = {Limassol, Cyprus},
  month = {November},
  year = {2018},
  volume = {78},
  series = {Electronic Communications of the EASST},
  doi = {10.1007/978-3-030-03418-4_15},
  pdf = {isolads18.pdf},
}