@article{Henzinger_1998,
    doi = {10.1109/9.664156},
    url = {https://doi.org/10.1109%2F9.664156},
    year = {1998},
    month = {apr},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {43},
    number = {4},
    pages = {540--554},
    author = {T.A. Henzinger and  Pei-Hsin Ho and H. Wong-Toi},
    title = {Algorithmic analysis of nonlinear hybrid systems},
    journal = {{IEEE} Transactions on Automatic Control}
}

@article{Henzinger_1998, doi = {10.1109/9.664156}, url = {https://doi.org/10.1109%2F9.664156}, year = {1998}, month = {apr}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {43}, number = {4}, pages = {540--554}, author = {T.A. Henzinger and Pei-Hsin Ho and H. Wong-Toi}, title = {Algorithmic analysis of nonlinear hybrid systems}, journal = {{IEEE} Transactions on Automatic Control} }