@inproceedings{SAC+5,
title = {Current Challenges in the Verification of Hybrid Systems },
author = {Schupp, Stefan and Abraham, Erika and Chen, Xin and Ben Makhlouf, Ibtissem and Frehse, Goran and Sankaranarayanan, Sriram and Kowalewski, Stefan},
year = {2015},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings},
crossref = {DBLP:conf/cyphy/2015},
pages = {8--24},
team = {TEMPO},
}