@incollection{Bouyer_2003,
    doi = {10.1007/3-540-36494-3_54},
    url = {https://doi.org/10.1007%2F3-540-36494-3_54},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {620--631},
    author = {Patricia Bouyer},
    title = {Untameable Timed Automata!},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Bouyer_2003, doi = {10.1007/3-540-36494-3_54}, url = {https://doi.org/10.1007%2F3-540-36494-3_54}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {620--631}, author = {Patricia Bouyer}, title = {Untameable Timed Automata!}, booktitle = {Lecture Notes in Computer Science} }