SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)