Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings - Magnus Egerstedt, Bud Mishra ((Lecture Notes in Computer Science))