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