@InProceedings{BaumannBeckertEA2010,
  author =     {Christoph Baumann and Bernhard Beckert and Holger Blasum
                and Thorsten Bormer},
  title =      {Ingredients of Operating System Correctness},
  booktitle =  {Proceedings, embedded world 2010 Conference, 
                Nuremberg, Germany},
  month =      mar,
  year =       {2010},
  note =       {Available at 
                https://formal.kastel.kit.edu/beckert/pub/ki-journal2009b.pdf}
}