@INPROCEEDINGS{BeckertSnelting2011,
  author = {Bernhard Beckert and Gregor Snelting},
  title = {Verl\"{a}ssliche Software fur kritische Infrastrukturen - Preface},
  booktitle = {INFORMATIK 2011 Informatik schafft Communities -- Beitr\"{a}ge der
	41. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
  year = {2011},
  month = oct,
  editor = {Hans-Ulrich Hei\ss{} and Peter Pepper and Holger Schlingloff and
	J\"{o}rg Schneider},
  volume = {P-192},
  series = {Lecture Notes in Informatics (LNI)}
}