@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{GWSD:2008b,
  author        = {Daniel Gro{\ss}e and Robert Wille and Robert Siegmund and Rolf Drechsler},
  title		= {Contradiction Analysis for Constraint-based Random Simulation},
  booktitle     = fdl,
  pages         = {130--135},
  year		= 2008
}