Hybrid Systems - Computation And Control by Manfred Morari