Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel Hybrid Systems Lecture Notes in Computer Science 736 Springer 1993 3-540-57318-6 db/conf/hybrid/hybrid92.html