@inproceedings{SmythSRvH18b,
  author = {Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden},
  title = {Towards Interactive Compilation Models},
  booktitle = {Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)},
  year = {2018},
  address = {Limassol, Cyprus},
  month = {November},
  publisher = {Springer},
  series = {LNCS},
  volume = {11244},
  pages = {246--260},
  doi = {10.14279/tuj.eceasst.78.1098},
  pdf = {isola18.pdf},
}