Hybrid Systems IV - Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry ((Lecture Notes in Computer Science))