@inproceedings{ReinbacherHorauerSchlichetal.2009,
  author    = {Thomas Reinbacher and Martin Horauer and Bastian Schlich and J{\"o}rg Bauer and Florian Scheuer},
  title     = {Model Checking Assembly Code of an Industrial Knitting Machine},
  booktitle = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009},
  pages     = {97 -- 104},
  year      = {2009},
}