@article{BJKLP05,
  title = "Putting it all together - Formal Verification of the {VAMP}",
  author = "Beyer, Sven and Jacobi, Christian and Kroening, Daniel and Leinenbach, Dirk and Paul, Wolfgang J.",
  year = "2006",
  journal = "Software Tools for Technology Transfer (STTT), Special Issue on Recent Advances in Hardware Verification",
  month = "August",
  number = "4-5",
  pages = "411--430",
  publisher = "Springer",
  volume = "8",
}