J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry. Dynamical systems revisited: Hybrid systems with Zeno executions, In B. Krogh and N. Lynch editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag, New York, 2000.