@inbook{Bouyer_2017,
    title = {Timed Temporal Logics},
    ISBN = {9783319631219},
    ISSN = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-319-63121-9_11},
    DOI = {10.1007/978-3-319-63121-9_11},
    booktitle = {Models, Algorithms, Logics and Tools},
    publisher = {Springer International Publishing},
    author = {Bouyer, Patricia and Laroussinie, François and Markey, Nicolas and Ouaknine, Joël and Worrell, James},
    year = {2017},
    pages = {211–230}
}

@inbook{Bouyer_2017, title = {Timed Temporal Logics}, ISBN = {9783319631219}, ISSN = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-319-63121-9_11}, DOI = {10.1007/978-3-319-63121-9_11}, booktitle = {Models, Algorithms, Logics and Tools}, publisher = {Springer International Publishing}, author = {Bouyer, Patricia and Laroussinie, François and Markey, Nicolas and Ouaknine, Joël and Worrell, James}, year = {2017}, pages = {211–230} }