You are about to access our book library "Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes in Computer Science Book 5469) full version" .