@article{Sankur_2014,
    doi = {10.1016/j.ic.2014.01.002},
    url = {https://doi.org/10.1016%2Fj.ic.2014.01.002},
    year = {2014},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {234},
    pages = {107--132},
    author = {Ocan Sankur and Patricia Bouyer and Nicolas Markey},
    title = {Shrinking timed automata},
    journal = {Information and Computation}
}

@article{Sankur_2014, doi = {10.1016/j.ic.2014.01.002}, url = {https://doi.org/10.1016%2Fj.ic.2014.01.002}, year = {2014}, month = {feb}, publisher = {Elsevier {BV}}, volume = {234}, pages = {107--132}, author = {Ocan Sankur and Patricia Bouyer and Nicolas Markey}, title = {Shrinking timed automata}, journal = {Information and Computation} }