@Inproceedings{EPTCS86.3,
  author    = {Spichkova, Maria and H\"olzl, Florian and Trachtenherz, David},
  year      = {2012},
  title     = {Verified System Development with the AutoFocus Tool Chain},
  editor    = {Andr\'es, C\'esar and Llana, Luis },
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Formal Methods in the Development of Software ,
               {\rm Paris, France, August 28, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {86},
  publisher = {Open Publishing Association},
  pages     = {17-24},
  doi       = {10.4204/EPTCS.86.3},
}