@InProceedings{Baumann:EMBEDDEDWORLD2010-,
  author =       "Christoph Baumann and Bernhard Beckert and Holger
                 Blasum and Thorsten Bormer",
  title =        "Ingredients of Operating System Correctness",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Ba10EW.pdf",
  booktitle =    "Embedded World 2010 Conference",
  address =      "Nuremberg, Germany",
  month =        mar,
  year =         "2010",
  note =         "To appear.",
}