Hybrid systems - GROSSMAN, ROBERT L. (Springer Verlag, 1993)