Context-Dependent Reachability Analysis for Hybrid Systems. - Stefan Schupp; Justin Winkens; Erika Ábrahám (IRI, 2018)