@InProceedings{Baumann:AMICS2011,
  author =       "Christoph Baumann and Holger Blasum and Thorsten Bormer and Sergey Tverdyshev",
  title =        "Proving Memory Separation in a Microkernel by Code Level Verification",
  editor =       "Wilfried Steiner and Roman Obermaisser",
  booktitle =    "1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011)",
  year =         "2011",
  month =        mar,
  address =      "Newport Beach, CA, USA",
  publisher =    "IEEE Computer Society",
  URL =          "http://www-wjp.cs.uni-saarland.de/publikationen/Baumann-AMICS2011.pdf",
  sourcestgz = "http://www.verisoftxt.de/d/src/memorySeparation.tgz",
  note =         "To appear.",
}