@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{HGD:2012,
  author        = {Finn Haedicke and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {A Guiding Coverage Metric for Formal Verification},
  booktitle     = date,
  pages         = {617--622},
  year		= 2012
}