@article{Kesten_2000,
    doi = {10.1007/s002360050177},
    url = {https://doi.org/10.1007%2Fs002360050177},
    year = {2000},
    month = {may},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {36},
    number = {11},
    pages = {837--912},
    author = {Yonit Kesten and Zohar Manna and Amir Pnueli},
    title = {Verification of clocked and hybrid systems},
    journal = {Acta Informatica}
}

@article{Kesten_2000, doi = {10.1007/s002360050177}, url = {https://doi.org/10.1007%2Fs002360050177}, year = {2000}, month = {may}, publisher = {Springer Science and Business Media {LLC}}, volume = {36}, number = {11}, pages = {837--912}, author = {Yonit Kesten and Zohar Manna and Amir Pnueli}, title = {Verification of clocked and hybrid systems}, journal = {Acta Informatica} }