@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{WGHD:2009,
  author        = {Robert Wille and Daniel Gro{\ss}e and Finn Haedicke and Rolf Drechsler},
  title		= {{SMT}-based Stimuli Generation in the {SystemC} Verification Library},
  booktitle     = fdl,
  pages         = {1--6},
  year		= 2009
}