Hybrid Systems - Computation And Control door Manfred Morari