Werner Damm Stefan Disch Hardi Hungar Jun Pang Florian Pigorsch Christoph Scholl Uwe Waldmann Boris Wirtz Automatic Verification of Hybrid Systems with Large Discrete State Space. 276-291 2006 conf/atva/2006 ATVA http://dx.doi.org/10.1007/11901914_22 db/conf/atva/atva2006.html#DammDHPPSWW06