@STRING{tcad	= {IEEE Transactions on Computer Aided Design of Circuits and Systems} }
@Article{LGD:2012b,
  author        = {Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Automatic {TLM} Fault Localization for {SystemC}},
  journal       = tcad,
  year          = 2012,
  volume        = {31},
  number        = {8},
  month         = Aug,
  pages         = {1249--1262}
}