@InProceedings{TheglerEtAl2018,
  title = {"Towards Automatic Program Specification Using SME Models"},
  author = "{Thegler}, {Alberte} and {Larsen}, {Mads Ohm} and {Skovhede}, {Kenneth} and {Vinter}, {Brian}",
  editor = "{Chalmers}, {Kevin} and {Pedersen}, {Jan B{\ae}kgaard} and {Smith}, {Marc L.} and {Skovhede}, {Kenneth} and {Welch}, {Peter H.}",
  pages = "411 -- 426",
  publisher = {"IOS Press, Amsterdam, The Netherlands"},
  booktitle = {"Communicating Process Architectures 2018"},
  isbn = "",
  year = "2018",
  month = {"August"}
}