Oded Maler Amir Pnueli Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Lecture Notes in Computer Science 2623 Springer 2003 3-540-00913-2 db/conf/hybrid/hscc2003.html