@Inproceedings{EPTCS56.5,
  author    = {Andova, Suzana  and van den Brand, Mark and Engelen, Luc},
  year      = {2011},
  title     = {Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models},
  editor    = {Dur\'an, Francisco and Rusu, Vlad},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Algebraic Methods in Model-based Software Engineering,
               {\rm Zurich, Switzerland, 30th June 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {56},
  publisher = {Open Publishing Association},
  pages     = {65-79},
  doi       = {10.4204/EPTCS.56.5},
}