--- res: bibo_abstract: - This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and we illustrate the use of HyTech with three nontrivial case studies.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Pei foaf_name: Ho, Pei foaf_surname: Ho bibo_doi: 10.1007/3-540-60472-3_14 bibo_volume: 999 dct_date: 1995^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/9783540683346 dct_language: eng dct_publisher: Springer@ dct_title: 'HyTech: The Cornell Hybrid Technology Tool@' ...