@article{Damm_2012,
    doi = {10.1016/j.scico.2011.07.006},
    url = {https://doi.org/10.1016%2Fj.scico.2011.07.006},
    year = {2012},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {77},
    number = {10-11},
    pages = {1122--1150},
    author = {Werner Damm and Henning Dierks and Stefan Disch and Willem Hagemann and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz},
    title = {Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces},
    journal = {Science of Computer Programming}
}

@article{Damm_2012, doi = {10.1016/j.scico.2011.07.006}, url = {https://doi.org/10.1016%2Fj.scico.2011.07.006}, year = {2012}, month = {sep}, publisher = {Elsevier {BV}}, volume = {77}, number = {10-11}, pages = {1122--1150}, author = {Werner Damm and Henning Dierks and Stefan Disch and Willem Hagemann and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz}, title = {Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces}, journal = {Science of Computer Programming} }