@misc{SteinerAsterothJungetal.2010,
  author    = {Holger Steiner and Alexander Asteroth and Norbert Jung and Volker Kamin and Oliver Schwaneberg},
  title     = {Safety Assessment of a Material Classifying Safety Sensor using ISO 13849-1 supplemented by Model Checking},
  institution = {Fachbereich Informatik},
  year      = {2010}
}