@STRING{memocode= {ACM \& IEEE International Conference on Formal Methods and Models for Codesign}}
@InProceedings{GD:2004,
  language      = {USenglish},
  author        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Checkers for {SystemC} Designs},
  booktitle     = memocode,
  pages         = {171--178},
  year          = 2004
}