@InProceedings{BaumannBeckertBlasumBormer2009b,
  author =       {Christoph Baumann and Bernhard Beckert and
                  Holger Blasum and Thorsten Bormer},
  title =        {Formal Verification of a Microkernel Used in 
                  Dependable Software Systems},
  booktitle =    {Proceedings, 28th International Conference on 
                  Computer Safety, Reliability and Security, 
                  Hamburg, Germany},
  editor =       {Bettina Buth and Gerd Rabe and Till Seyfarth},
  publisher =    {Springer},
  series =       {LNCS 5775},
  pages =        {187-200},
  year =         {2009}
}