Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, J. E. Rooda. A Hybrid Language for Modeling, Simulation and Verification. In Sebastian Engell, Hervé Guéguen, Janan Zaytoon, editors, IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. Volume 36 of IFAC Proceedings Volumes, pages 199-204, Elsevier, 2003. [doi]
Abstract is missing.