Panos J. Antsaklis Wolf Kohn Michael D. Lemmon Anil Nerode Shankar Sastry Hybrid Systems Lecture Notes in Computer Science 1567 Springer 1999 3-540-65643-X db/conf/hybrid/hybrid97.html