@inproceedings{CAV-2011-FrehseGDCRLRGDM,
	author        = "Goran Frehse and Colas Le Guernic and Alexandre Donzé and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler",
	booktitle     = "{Proceedings of the 23rd International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-642-22110-1_30",
	isbn          = "978-3-642-22109-5",
	pages         = "379--395",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{SpaceEx: Scalable Verification of Hybrid Systems}",
	volume        = 6806,
	year          = 2011,
}