@inproceedings{ReinbacherHorauerSchlichetal.,
  author    = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Bauer, J{\"o}rg and Scheuer, Florian},
  title     = {Model Checking Assembly Code of an Industrial Knitting Machine},
  series = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009},
  booktitle = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009},
  pages     = {97 -- 104},
  subject      = {Embedded Systems},
  language  = {de}
}
@inproceedings{FrohnerUrbauerBaueretal.,
  author    = {Frohner, Matthias and Urbauer, Philipp and Bauer, Martin and Gerbovics, Ferenc and Mense, Alexander and Sauermann, Stefan},
  title     = {Design and Realisation of a Framework for Device Endcommunication According to the IEEE 11073-20601 Standard},
  series = {Tagungsband der eHealth und eHealth Benchmarking, Wien},
  booktitle = {Tagungsband der eHealth und eHealth Benchmarking, Wien},
  subject      = {Standards},
  language  = {en}
}