Hybrid systems II - Antsaklis, Panos J. (Lecture notes in computer science, 1995)