@STRING{dac	= {Design Automation Conf.} }
@inproceedings{LGHD:2013,
  author    = {Hoang M. Le and Daniel Gro{\ss}e and Vladimir Herdt and Rolf Drechsler},
  title     = {Verifying {SystemC} using an intermediate verification language and symbolic simulation},
  booktitle = dac,
  pages     = {116:1--116:6},
  year      = {2013}
}