@article{ReinbacherHorauerSchlichetal.2011,
  author    = {Thomas Reinbacher and Martin Horauer and Bastian Schlich and J{\"o}rg Brauer and Florian Scheuer},
  title     = {Model Checking Embedded Software of an Industrial Knitting Machine},
  journal   = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2},
  number    = {Vol. 1, No. 2},
  year      = {2011},
}