Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings - Manfred Morari, Lothar Thiele ((Lecture Notes in Computer Science))