@InProceedings{Gro:2016,
  author =  {Daniel Gro{\ss}e (organizer)},
  title = {Reliability and Safety in {VP}-based Embedded System Development, {Speaker: Vladimir Herdt, Bogdan-Andrei Tabacaru}},
  booktitle = {Special Session at Forum on specification \& Design Languages},
  year =  {2016}
}