Benchmarks for Hybrid Systems Verification

Ansgar Fehnker
HSCC (2004), pp. 326-341

Abstract