@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@InProceedings{GKD:2006,
  author	= {Daniel Gro{\ss}e and Ulrich K\"uhne and Rolf Drechsler},
  title         = {HW/SW Co-Verification of Embedded Systems using Bounded Model Checking},
  booktitle     = glsvlsi,
  pages         = {43--48},
  year          = 2006
}