@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}
}