Stefan Ratschan, Zhikun She: Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC 2008: 65-71