@incollection{Behrmann_2003,
    doi = {10.1007/3-540-36577-x_18},
    url = {https://doi.org/10.1007%2F3-540-36577-x_18},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {254--270},
    author = {Gerd Behrmann and Patricia Bouyer and Emmanuel Fleury and Kim G. Larsen},
    title = {Static Guard Analysis in Timed Automata Verification},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Behrmann_2003, doi = {10.1007/3-540-36577-x_18}, url = {https://doi.org/10.1007%2F3-540-36577-x_18}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {254--270}, author = {Gerd Behrmann and Patricia Bouyer and Emmanuel Fleury and Kim G. Larsen}, title = {Static Guard Analysis in Timed Automata Verification}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }