Hybrid systems: computation and control 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings - Hutchison, David (Lecture Notes in Computer Science,, 2009)