Peter Höfner: Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS 2008: 191-205