@article{Koymans:1990:SRP:97824.97831,
    Address = {Norwell, MA, USA},
    Author = {Koymans, Ron},
    ISSN = {0922-6443},
    Journal = {Real-Time Syst.},
    Month = {October},
    Number = {4},
    Pages = {255--299},
    Publisher = {Kluwer Academic Publishers},
    Title = {Specifying Real-time Properties with Metric Temporal Logic},
    URL = {http://dx.doi.org/10.1007/BF01995674},
    Volume = {2},
    Year = {1990},
    acmid = {97831},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01995674},
    date-added = {2018-06-03 15:37:36 +0000},
    date-modified = {2018-06-03 15:37:36 +0000},
    issue_date = {Nov. 1990},
    numpages = {45},
    doi = {10.1007/BF01995674}
}

@article{Koymans:1990:SRP:97824.97831, Address = {Norwell, MA, USA}, Author = {Koymans, Ron}, ISSN = {0922-6443}, Journal = {Real-Time Syst.}, Month = {October}, Number = {4}, Pages = {255--299}, Publisher = {Kluwer Academic Publishers}, Title = {Specifying Real-time Properties with Metric Temporal Logic}, URL = {http://dx.doi.org/10.1007/BF01995674}, Volume = {2}, Year = {1990}, acmid = {97831}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01995674}, date-added = {2018-06-03 15:37:36 +0000}, date-modified = {2018-06-03 15:37:36 +0000}, issue_date = {Nov. 1990}, numpages = {45}, doi = {10.1007/BF01995674} }