@STRING{date	= {Design, Automation and Test in Europe} }
@inproceedings{FGD:2006,
  author    = {G\"orschwin Fey and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Avoiding false negatives in formal verification for protocol-driven
               blocks},
  booktitle = date,
  year      = {2006},
  pages     = {1225--1226}
}