@article{ScheferWenzlWenzl,
  author    = {Schefer-Wenzl, Sigrid and Wenzl, Matthias},
  title     = {Roboter mit Himbeeren, Ein {\"U}berblick {\"u}ber Roboterbaus{\"a}tze und GPIO Bibliotheken auf Raspberry Pi (2)},
  series = {Entwickler Magazin 2015},
  journal   = {Entwickler Magazin 2015},
  number    = {Entwickler Magazin Juni 2015},
  pages     = {pp 64-68},
  subject      = {Robotic},
  language  = {de}
}
@inproceedings{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  series = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  booktitle = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  subject      = {Safety},
  language  = {en}
}
@misc{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  subject      = {Safety},
  language  = {en}
}