Your search returned the following 2 documents:

2. Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
   Werner Damm, Guilherme Pinto, and Stefan Ratschan
   In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, 2005, 99-113
   
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