Text this: Hybrid systems: computation and control (vol. # 3414)