@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{KGD:2009,
  author        = {Ulrich K\"uhne and Daniel Gro{\ss}e  and Rolf Drechsler},
  title		= {Property Analysis and Design Understanding},
  booktitle     = date,
  pages         = {1246--1249},
  year		= 2009
}