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