@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{LHGD:2016,
  author        = {Hoang M. Le and Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Towards Formal Verification of Real-World {SystemC} {TLM} Peripheral Models -- A Case Study},
  booktitle     = date,
  pages         = {1160--1163},
  year		= 2016
}