Alberto Bemporad Antonio Bicchi Giorgio C. Buttazzo Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings HSCC Lecture Notes in Computer Science 4416 Springer 2007 978-3-540-71492-7 db/conf/hybrid/hscc2007.html