@article{Brihaye:2006:MTA:1143280.1709627,
    Address = {Duluth, MN, USA},
    Author = {Brihaye, Thomas and Bruy\`{e}re, V{\'e}ronique and Raskin, Jean-Fran\c{c}ois},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Bisimulations, Model-checking, Weighted timed automata},
    Month = {March},
    Number = {3},
    Pages = {408--433},
    Publisher = {Academic Press, Inc.},
    Title = {On model-checking timed automata with stopwatch observers},
    URL = {http://dx.doi.org/10.1016/j.ic.2005.12.001},
    Volume = {204},
    Year = {2006},
    acmid = {1709627},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2005.12.001},
    date-added = {2013-04-18 19:06:30 +0000},
    date-modified = {2013-04-18 19:06:30 +0000},
    issue_date = {March 2006},
    numpages = {26},
    doi = {10.1016/j.ic.2005.12.001}
}

@article{Brihaye:2006:MTA:1143280.1709627, Address = {Duluth, MN, USA}, Author = {Brihaye, Thomas and Bruy`{e}re, V{\'e}ronique and Raskin, Jean-Fran\c{c}ois}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Bisimulations, Model-checking, Weighted timed automata}, Month = {March}, Number = {3}, Pages = {408--433}, Publisher = {Academic Press, Inc.}, Title = {On model-checking timed automata with stopwatch observers}, URL = {http://dx.doi.org/10.1016/j.ic.2005.12.001}, Volume = {204}, Year = {2006}, acmid = {1709627}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2005.12.001}, date-added = {2013-04-18 19:06:30 +0000}, date-modified = {2013-04-18 19:06:30 +0000}, issue_date = {March 2006}, numpages = {26}, doi = {10.1016/j.ic.2005.12.001} }