Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings - Alur, Rajeev; Pappas, George J. (Springer Berlin Heidelberg, 2004)