@article{Henzinger_1997,
    doi = {10.1007/s100090050008},
    url = {https://doi.org/10.1007%2Fs100090050008},
    year = {1997},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {1},
    number = {1-2},
    pages = {110--122},
    author = {Thomas A. Henzinger and Pei-Hsin Ho and Howard Wong-Toi},
    title = {{HYTECH}: a~model checker for hybrid systems},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Henzinger_1997, doi = {10.1007/s100090050008}, url = {https://doi.org/10.1007%2Fs100090050008}, year = {1997}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {1}, number = {1-2}, pages = {110--122}, author = {Thomas A. Henzinger and Pei-Hsin Ho and Howard Wong-Toi}, title = {{HYTECH}: a~model checker for hybrid systems}, journal = {International Journal on Software Tools for Technology Transfer} }