@article{Aceto_2003,
    doi = {10.1016/s0304-3975(02)00334-1},
    url = {https://doi.org/10.1016%2Fs0304-3975%2802%2900334-1},
    year = {2003},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {300},
    number = {1-3},
    pages = {411--475},
    author = {Luca Aceto and Patricia Bouyer and Augusto Burgue{\~{n}}o and Kim G Larsen},
    title = {The power of reachability testing for timed automata},
    journal = {Theoretical Computer Science}
}

@article{Aceto_2003, doi = {10.1016/s0304-3975(02)00334-1}, url = {https://doi.org/10.1016%2Fs0304-3975%2802%2900334-1}, year = {2003}, month = {may}, publisher = {Elsevier {BV}}, volume = {300}, number = {1-3}, pages = {411--475}, author = {Luca Aceto and Patricia Bouyer and Augusto Burgue{\~{n}}o and Kim G Larsen}, title = {The power of reachability testing for timed automata}, journal = {Theoretical Computer Science} }