Hybrid Systems V - Antsaklis, Panos J.; Antsaklis, Panos J.; Kohn, Wolf; Kohn, Wolf; Lemmon, Michael; Lemmon, Michael; Nerode, Anil; Nerode, Anil; Sastry, Shankar; Sastry, Shankar (Springer Berlin Heidelberg : Imprint: Springer, 1999)