@article{GrandyBischofStenzeletal.2008,
  author    = {Holger Grandy and Markus Bischof and Kurt Stenzel and Gerhard Schellhorn and Wolfgang Reif},
  title     = {Verification of Mondex electronic purses with KIV: from a security protocol to verified code},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5014},
  pages     = {165 -- 180},
  doi       = {10.1007/978-3-540-68237-0_13},
  year      = {2008},
}