@incollection{Ouaknine_2003,
    doi = {10.1007/3-540-36580-x_28},
    url = {https://doi.org/10.1007%2F3-540-36580-x_28},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {375--388},
    author = {Joël Ouaknine and James Worrell},
    title = {Universality and Language Inclusion for Open and Closed Timed Automata},
    booktitle = {Hybrid Systems: Computation and Control}
}

@incollection{Ouaknine_2003, doi = {10.1007/3-540-36580-x_28}, url = {https://doi.org/10.1007%2F3-540-36580-x_28}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {375--388}, author = {Joël Ouaknine and James Worrell}, title = {Universality and Language Inclusion for Open and Closed Timed Automata}, booktitle = {Hybrid Systems: Computation and Control} }