Hybrid Systems - Computation And Control by Maria Domenica Di Benedetto