Magnus Egerstedt Bud Mishra Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings 4981 2008 978-3-540-78928-4 HSCC Lecture Notes in Computer Science Springer db/conf/hybrid/hscc2008.html