Rajeev Alur George J. Pappas Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings HSCC Lecture Notes in Computer Science 2993 Springer 2004 3-540-21259-0 db/conf/hybrid/hscc2004.html