@InProceedings{BaumannBeckertBlasumBormer2009,
  author =       {Christoph Baumann and Bernhard Beckert and
                  Holger Blasum and Thorsten Bormer},
  title =        {Better Avionics Software Reliability by 
                  Code Verification},
  booktitle =    {Proceedings, embedded world Conference, Nuremberg, Germany},
  year =         {2009}
}