@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{HLGD:2017,
  title         = {Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach},
  author        = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  booktitle     = fdl,
  year		= {2017},
  pages         = {1-8},
  mycomment     = {{\bf (Best Paper Candidate)}}
}