@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{HLGD:2016c,
  title         = {On the Application of Formal Fault Localization to Automated {RTL-to-TLM} Fault Correspondence Analysis for Fast and Accurate {VP}-based Error Effect Simulation - A Case Study},
  author        = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  booktitle     = fdl,
  year		= {2016},
  pages         = {1--8},
  mycomment     = {{\bf (Best Paper Candidate)}}
}