@incollection{Bornot_1998,
    doi = {10.1007/3-540-49213-5_5},
    url = {https://doi.org/10.1007%2F3-540-49213-5_5},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {103--129},
    author = {S{\'{e}}bastien Bornot and Joseph Sifakis and Stavros Tripakis},
    title = {Modeling Urgency in Timed Systems},
    booktitle = {Compositionality: The Significant Difference}
}

@incollection{Bornot_1998, doi = {10.1007/3-540-49213-5_5}, url = {https://doi.org/10.1007%2F3-540-49213-5_5}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {103--129}, author = {S{\'{e}}bastien Bornot and Joseph Sifakis and Stavros Tripakis}, title = {Modeling Urgency in Timed Systems}, booktitle = {Compositionality: The Significant Difference} }