@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{HGD+:2019,
  title         = {Systematic {RISC-V} based Firmware Design},
  author        = {Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler and Christoph Gerum and Alexander Jung and Joscha-Joel Benz and Oliver Bringmann and Michael Schwarz and Dominik Stoffel and Wolfgang Kunz},
  booktitle     = fdl,
  year		= {2019},
}