@STRING{iccad	= {International Conference on Computer-Aided Design} }
@InProceedings{HLGD:2016b,
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Compiled Symbolic Simulation for {SystemC}},
  booktitle = iccad,
  year      = {2016},
  pages     = {52:1--52:8}
}