Compositional Verification of Hybrid Systems Using Simulation Relations by G. Frehse