Marc Segelken: Abstraktion und Gegenbeispiel-gelenkte Konstruktion von Ω-Automaten zur Verifikation Schritt-diskreter linearer hybrider Systeme. University of Oldenburg, Germany 2007, 1-198