@conference {inp:BeckertBruns2012a, title = {Formal Semantics of Model Fields in Annotation-based Specifications}, booktitle = {{KI 2012}: Advances in Artificial Intelligence}, year = {2012}, author = {B. Beckert and D. Bruns} }