Combined Global and Local Search for the Falsification of Hybrid Systems. - Jan Kurátko; Stefan Ratschan (FORMATS, 2014)