@STRING{iscas	= {IEEE International Symposium on Circuits and Systems} }
@InProceedings{GD:2003,
  language	= {USenglish},
  author	= {Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Formal Verification of {LTL} Formulas for {SystemC} Designs},
  booktitle	= iscas,
  pages         = {V:245--V:248},
  year		= 2003,
  public	= {no}
}