Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. 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 289-294, Elsevier, 2003. [doi]
Abstract is missing.