1. Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement Autoren: Althaus, Ernst; Beber, Björn; Damm, Werner; Disch, Stefan; Hagemann, Willem; Rakow, Astrid; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris Veröffentlichungsdatum: 2017 Typ: Zeitschriftenaufsatz