@incollection{Bouyer_2018,
    doi = {10.1007/978-3-030-03769-7_12},
    url = {https://doi.org/10.1007%2F978-3-030-03769-7_12},
    year = {2018},
    publisher = {Springer International Publishing},
    pages = {205--221},
    author = {Patricia Bouyer and Samy Jaziri and Nicolas Markey},
    title = {Efficient Timed Diagnosis Using Automata with Timed Domains},
    booktitle = {Runtime Verification}
}

@incollection{Bouyer_2018, doi = {10.1007/978-3-030-03769-7_12}, url = {https://doi.org/10.1007%2F978-3-030-03769-7_12}, year = {2018}, publisher = {Springer International Publishing}, pages = {205--221}, author = {Patricia Bouyer and Samy Jaziri and Nicolas Markey}, title = {Efficient Timed Diagnosis Using Automata with Timed Domains}, booktitle = {Runtime Verification} }