@inproceedings{BeckertBruns2012,
  author       = {Bernhard Beckert and Daniel Bruns},
  title        = {Formal Semantics of Model Fields in Annotation-based
		  Specifications},
  booktitle    = {KI 2012: Advances in Artificial Intelligence},
  editor       = {Birte Glimm and Antonio Kr\"uger},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = {7526},
  pages        = {13--24},
  year         = {2012},
  month        = sep
}