@InProceedings{Gro:2017b,
  author =  {Daniel Gro{\ss}e (panelist)},
  title = {{The WHAT? and WHY? of high-level languages in designing and verifying complex integrated systems - Lets take a formal perspective}},
  booktitle = {Panel at Forum on specification \& Design Languages},
  year =  {2017}
}