@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{HLGD:2018,
  author        = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Towards Fully Automated {TLM-to-RTL} Property Refinement},
  booktitle     = date,
  pages         = {1508--1511},
  year		= {2018},
}