Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - Oded Maler, Amir Pnueli ((Lecture Notes in Computer Science))