9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 436-450