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