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