@STRING{memocode= {ACM \& IEEE International Conference on Formal Methods and Models for Codesign}}
@InProceedings{GLD:2010b,
  author        = {Daniel Gro{\ss}e and Hoang M. Le and Rolf Drechsler},
  title         = {Proving Transaction and System-level Properties of Untimed {SystemC} {TLM} Designs},
  booktitle     = memocode,
  pages         = {113--122},
  year          = 2010
}