@STRING{aspdac	= {ASP Design Automation Conf.} }
@inproceedings{HLGD:2019,
  title     = {Maximizing Power State Cross Coverage in Firmware-based Power Management},
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  booktitle = aspdac,
  pages     = {335--340},
  year      = {2019}
}