@article{Henzinger_2013,
    doi = {10.1007/s00450-013-0251-7},
    url = {https://doi.org/10.1007%2Fs00450-013-0251-7},
    year = {2013},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {28},
    number = {4},
    pages = {331--344},
    author = {Thomas A. Henzinger},
    title = {Quantitative reactive modeling and verification},
    journal = {Computer Science - Research and Development}
}

@article{Henzinger_2013, doi = {10.1007/s00450-013-0251-7}, url = {https://doi.org/10.1007%2Fs00450-013-0251-7}, year = {2013}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {28}, number = {4}, pages = {331--344}, author = {Thomas A. Henzinger}, title = {Quantitative reactive modeling and verification}, journal = {Computer Science - Research and Development} }