@article{Maler_2014,
    doi = {10.4204/eptcs.140.4},
    url = {https://doi.org/10.4204%2Feptcs.140.4},
    year = {2014},
    month = {feb},
    publisher = {Open Publishing Association},
    volume = {140},
    pages = {48--69},
    author = {Oded Maler},
    title = {Algorithmic Verification of Continuous and Hybrid Systems},
    journal = {Electronic Proceedings in Theoretical Computer Science}
}

@article{Maler_2014, doi = {10.4204/eptcs.140.4}, url = {https://doi.org/10.4204%2Feptcs.140.4}, year = {2014}, month = {feb}, publisher = {Open Publishing Association}, volume = {140}, pages = {48--69}, author = {Oded Maler}, title = {Algorithmic Verification of Continuous and Hybrid Systems}, journal = {Electronic Proceedings in Theoretical Computer Science} }