Hybrid systems - Grossman, Robert L. (Lecture notes in computer science ;, 1993)