@STRING{tcad	= {IEEE Transactions on Computer Aided Design of Circuits and Systems} }
@Article{HLGD:2018e,
  author        = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Verifying {SystemC} using Intermediate Verification Language and Stateful Symbolic Simulation},
  journal       = tcad,
  year          = 2018,
}