@STRING{iscas	= {IEEE International Symposium on Circuits and Systems} }
@InProceedings{GD:2005b,
  language      = {USenglish},
  author        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{\em CheckSyC}: An Efficient Property Checker for {RTL} {SystemC} Designs},
  booktitle     = iscas,
  year          = 2005,
  pages         = {4167--4170}
}