Hybrid systems - GROSSMAN, ROBERT L.; NERODE, ANIL; RISCHEL, HANS (Lecture Notes in Computer Science / Springer Verlag., 1993)