Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings - Maria Domenica Benedetto, Alberto Sangiovanni-Vincentelli ((Lecture Notes in Computer Science))