@inproceedings{Ouaknine:2008:RRM:1432153.1432155,
    Address = {Berlin, Heidelberg},
    Author = {Ouaknine, Jo\"{e}l and Worrell, James},
    BookTitle = {Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems},
    File = {mtlsurvey08 (0) - a - a - i.pdf},
    ISBN = {978-3-540-85777-8},
    Location = {Saint Malo, France},
    Pages = {1--13},
    Publisher = {Springer-Verlag},
    Series = {FORMATS '08},
    Title = {Some Recent Results in Metric Temporal Logic},
    URL = {http://dx.doi.org/10.1007/978-3-540-85778-5\_1},
    Year = {2008},
    acmid = {1432155},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85778-5\_1},
    date-added = {2018-06-03 15:38:45 +0000},
    date-modified = {2018-06-03 15:38:45 +0000},
    numpages = {13},
    doi = {10.1007/978-3-540-85778-5_1}
}

@inproceedings{Ouaknine:2008:RRM:1432153.1432155, Address = {Berlin, Heidelberg}, Author = {Ouaknine, Jo\"{e}l and Worrell, James}, BookTitle = {Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems}, File = {mtlsurvey08 (0) - a - a - i.pdf}, ISBN = {978-3-540-85777-8}, Location = {Saint Malo, France}, Pages = {1--13}, Publisher = {Springer-Verlag}, Series = {FORMATS '08}, Title = {Some Recent Results in Metric Temporal Logic}, URL = {http://dx.doi.org/10.1007/978-3-540-85778-5_1}, Year = {2008}, acmid = {1432155}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85778-5_1}, date-added = {2018-06-03 15:38:45 +0000}, date-modified = {2018-06-03 15:38:45 +0000}, numpages = {13}, doi = {10.1007/978-3-540-85778-5_1} }