@article{Alur_2000,
    doi = {10.1109/5.871304},
    url = {https://doi.org/10.1109%2F5.871304},
    year = {2000},
    month = {jul},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {88},
    number = {7},
    pages = {971--984},
    author = {R. Alur and T.A. Henzinger and G. Lafferriere and G.J. Pappas},
    title = {Discrete abstractions of hybrid systems},
    journal = {Proceedings of the {IEEE}}
}

@article{Alur_2000, doi = {10.1109/5.871304}, url = {https://doi.org/10.1109%2F5.871304}, year = {2000}, month = {jul}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {88}, number = {7}, pages = {971--984}, author = {R. Alur and T.A. Henzinger and G. Lafferriere and G.J. Pappas}, title = {Discrete abstractions of hybrid systems}, journal = {Proceedings of the {IEEE}} }