Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Bernd BeckerMarkus BehleFriedrich EisenbrandMartin FränzleMarc HerbstrittChristian HerdeJörg HoffmannDaniel KröningBernhard NebelIlia PolianRalf WimmerPublished in: MBMV (2004)