@Inbook{Roehm2016,
author="Roehm, Hendrik
and Oehlerking, Jens
and Heinz, Thomas
and Althoff, Matthias",
editor="Artho, Cyrille
and Legay, Axel
and Peled, Doron",
title="STL Model Checking of Continuous and Hybrid Systems",
bookTitle="Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="412--427",
isbn="978-3-319-46520-3",
doi="10.1007/978-3-319-46520-3_26",
url="http://dx.doi.org/10.1007/978-3-319-46520-3_26"
}