1. [1] R. Goldblatt:Lecture on the Hyperreals: An Introduction to Nonstandard Analysis, Springer (1988)
2. [2] T. A. Henzinger: The theory of hybrid automata; Verification of Digital and Hybrid Systems (M. K. Inan, R. P. Kurshan, eds.), NATO ASI Series F: Computer and Systems Sciences, Vol.170, Springer-Verlag, pp.265-292 (2000)
3. [3] K. H. Johansson, M. Egerstedt, J. Lygeros and S. Sastry: On the regularization of Zeno hybrid automata; Proc. of System Control Letters, Special Issue on Hybrid Systems, Vol.39, pp.141-150 (1999)
4. [4] K. H. Johansson, J. Lygeros, et al.: Hybrid automata: A formal paradigm for heterogeneous modeling; Proc. of IEEE Intl. Sympo. on Computer-Aided Control System Design Anchorage, pp.123-128 (2000)
5. [5] A. Lamperski and A. D. Ames: Lyapunov-like conditions for the existence of Zeno behavior in hybrid and Lagrangian hybrid systems; 46th IEEE Conference on Decision and Control, pp.115-120 (2007)