Hybrid systems IV - Antsaklis, Panos; Kohn, Wolf; Nerode, Anil, 1932-; Sastry, Shankar, 1953- (Lecture notes in computer science ;, 1997)