@incollection{,
year={2014},
booktitle={Formal Modeling and Analysis of Timed Systems},
volume={8711},
series={Lecture Notes in Computer Science},
editor={Legay, Axel and Bozga, Marius},
doi={10.1007/978-3-319-10512-3_11},
title={Combined Global and Local Search for the Falsification of Hybrid Systems},
publisher={Springer International Publishing},
author={Ku{\v r}{\'a}tko, Jan and Ratschan, Stefan},
pages={146-160}
}