@inproceedings{rennsew2006,
  author    = "T. Renner and T. Bluhm and A. Schneider and J. Knaeblein and R. Zavala and Ulrich Heinkel",
  title     = "Formal Verification of Abstract System and Protocol Specifications",
  booktitle = "Software Engineering Workshop, 2006. SEW '06. 30th Annual IEEE/NASA",
  year      = "2006",
  pages     = "207-211",
  month     = may
}