@Article{Beyer:STTT-8-4-411,
  author =       "Sven Beyer and Christian Jacobi and Daniel Kroening
                 and Dirk Leinenbach and Wolfgang Paul",
  title =        "Putting It All Together: {Formal} Verification of the
                 {VAMP}",
  journal =      "International Journal on Software Tools for Technology
                 Transfer",
  pages =        "411--430",
  volume =       "8",
  number =       "4--5",
  publisher =    "Springer",
  month =        aug,
  year =         "2006",
  ee =           "http://dx.doi.org/10.1007/s10009-006-0204-6",
}