@INPROCEEDINGS{Schuler2016a,
  author = {Simone Schuler and Fabiano Daher Adegas and Adolfo Anta},
  title = {Benchmark problem: hybrid modelling of a wind turbine},
  booktitle = {Proc. of the Workshop on Applied Verification for Continuous and
	Hybrid Systems (ARCH)},
  year = {2016},
}

@INPROCEEDINGS{Busboom2016a,
  author = {Axel Busboom and Simone Schuler and Alexander Walsch},
  title = {Tool presentation: \texttt{formalSpec} -- Semi-automatic formalization of system requirements},
  booktitle = {Proc. of the Workshop on Applied Verification for Continuous and
	Hybrid Systems (ARCH)},
  year = {2016},
}