@misc{indiciaead2f288d9a5b,
  title = {Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models},
  author = {Suzana Andova and Mark van den Brand and Luc Engelen},
  year = {2011},
  doi = {10.4204/eptcs.56.5},
  url = {https://arxiv.org/abs/1107.0067},
  note = {Source identifier: 1107.0067}
}