@article{Bowman:2006:STS:1179488.1179489,
    Address = {London, UK, UK},
    Author = {Bowman, Howard and G{\' o}mez, Rodolfo},
    ISSN = {0934-5043},
    Journal = {Form. Asp. Comput.},
    Keywords = {Model checking, Non-zenoness conditions, Timed automata, Zeno-timelocks},
    Month = {November},
    Number = {4},
    Pages = {459--493},
    Publisher = {Springer-Verlag},
    Title = {How to Stop Time Stopping},
    URL = {http://dx.doi.org/10.1007/s00165-006-0010-7},
    Volume = {18},
    Year = {2006},
    acmid = {1179489},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-006-0010-7},
    date-added = {2014-11-10 11:55:07 +0000},
    date-modified = {2014-11-10 11:55:07 +0000},
    issue_date = {November 2006},
    numpages = {35},
    doi = {10.1007/s00165-006-0010-7}
}

@article{Bowman:2006:STS:1179488.1179489, Address = {London, UK, UK}, Author = {Bowman, Howard and G{\' o}mez, Rodolfo}, ISSN = {0934-5043}, Journal = {Form. Asp. Comput.}, Keywords = {Model checking, Non-zenoness conditions, Timed automata, Zeno-timelocks}, Month = {November}, Number = {4}, Pages = {459--493}, Publisher = {Springer-Verlag}, Title = {How to Stop Time Stopping}, URL = {http://dx.doi.org/10.1007/s00165-006-0010-7}, Volume = {18}, Year = {2006}, acmid = {1179489}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-006-0010-7}, date-added = {2014-11-10 11:55:07 +0000}, date-modified = {2014-11-10 11:55:07 +0000}, issue_date = {November 2006}, numpages = {35}, doi = {10.1007/s00165-006-0010-7} }