@article{Lugiez_2005,
    doi = {10.1016/j.tcs.2005.07.023},
    url = {https://doi.org/10.1016%2Fj.tcs.2005.07.023},
    year = {2005},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {345},
    number = {1},
    pages = {27--59},
    author = {D. Lugiez and P. Niebert and S. Zennou},
    title = {A partial order semantics approach to the clock explosion problem of timed automata},
    journal = {Theoretical Computer Science}
}

@article{Lugiez_2005, doi = {10.1016/j.tcs.2005.07.023}, url = {https://doi.org/10.1016%2Fj.tcs.2005.07.023}, year = {2005}, month = {nov}, publisher = {Elsevier {BV}}, volume = {345}, number = {1}, pages = {27--59}, author = {D. Lugiez and P. Niebert and S. Zennou}, title = {A partial order semantics approach to the clock explosion problem of timed automata}, journal = {Theoretical Computer Science} }