@article{Platzer_2009,
    doi = {10.1007/s10703-009-0079-8},
    url = {https://doi.org/10.1007%2Fs10703-009-0079-8},
    year = {2009},
    month = {jul},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {35},
    number = {1},
    pages = {98--120},
    author = {Andr{\'{e}} Platzer and Edmund M. Clarke},
    title = {Computing differential invariants of hybrid systems as~fixedpoints},
    journal = {Formal Methods in System Design}
}

@article{Platzer_2009, doi = {10.1007/s10703-009-0079-8}, url = {https://doi.org/10.1007%2Fs10703-009-0079-8}, year = {2009}, month = {jul}, publisher = {Springer Science and Business Media {LLC}}, volume = {35}, number = {1}, pages = {98--120}, author = {Andr{\'{e}} Platzer and Edmund M. Clarke}, title = {Computing differential invariants of hybrid systems as~fixedpoints}, journal = {Formal Methods in System Design} }