@Article{Beckert:KI-,
  author =       "Bernhard Beckert and Micha{\l} Moskal",
  title =        "Deductive Verification of System Software in the
                 {Verisoft} {XT} Project",
  journal =      "KI",
  year =         "2010",
  ee =           "http://dx.doi.org/10.1007/s13218-010-0005-7",
  note =         "To appear.",
}