@misc{indiciae572e51753f48,
  title = {Verified System Development with the AutoFocus Tool Chain},
  author = {Maria Spichkova and Florian Hölzl and David Trachtenherz},
  year = {2012},
  doi = {10.4204/eptcs.86.3},
  url = {https://arxiv.org/abs/1207.2236},
  note = {Source identifier: 1207.2236}
}