@InProceedings{Gro:2018b,
  author =  {Daniel Gro{\ss}e (organizer)},
  title = {Embedded Software for the {IoT}: Design, Optimization and Verification, {Speaker: Rafael Stahl, Vladimir Herdt, Michael Schwarz, Aljoscha Kirchner}},
  booktitle = {Special Session at Forum on specification \& Design Languages},
  year =  {2018}
}