Your search returned the following document:

1. Automatic Verification of Hybrid Systems with Large Discrete State Space
   Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
   In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, 2006, 276-291