@phdthesis{de-5528,
  title = {Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik},
  author = {Friedemann Bitsch},
  year = {2007},
  url = {http://elib.uni-stuttgart.de/opus/volltexte/2007/3041/},
  note = {http://d-nb.info/997046783},
  researchr = {https://researchr.org/publication/de-5528},
  cites = {0},
  citedby = {0},
  school = {University of Stuttgart},
}