@InProceedings{Baumann:EMBEDDEDWORLD2009-,
  author =       "Christoph Baumann and Bernhard Beckert and Holger
                 Blasum and Thorsten Bormer",
  title =        "Better Avionics Software Reliability by Code
                 Verification -- {A} Glance at Code Verification
                 Methodology in the {Verisoft~XT} Project",
  booktitle =    "Embedded World 2009 Conference",
  publisher =    "Franzis Verlag",
  address =      "Nuremberg, Germany",
  month =        mar,
  year =         "2009",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/embeddedworld2009.pdf",
  note =         "To appear.",
}