Hybrid dynamic systems: relating Chi to hybrid automata. - D. A. van Beek; Niek G. Jansen; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (WSC, 2003)