Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings - Rajeev Alur, George J. Pappas ((Lecture Notes in Computer Science))