@chapter{AlurCourcoubetisHenzinger,
    Author = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A.},
    BookTitle = {Computer Aided Verification},
    File = {Computing accumulated delays in real-time systems - Alur, Courcoubetis, Henzinger (0) (0) - a - a - t.pdf},
    Keywords = {timed automata},
    Pages = {181--193},
    Series = {Lecture Notes in Computer Science},
    Title = {Computing accumulated delays in real-time systems},
    Volume = {697},
    Year = {1993},
    bdsk-url-1 = {http://www.springerlink.com/content/y55185j77jq58812/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-56922-7\_16},
    date-added = {2012-07-07 10:00:31 +0200},
    date-modified = {2012-07-07 08:00:47 +0000},
    doi = {10.1007/3-540-56922-7_16}
}

@chapter{AlurCourcoubetisHenzinger, Author = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A.}, BookTitle = {Computer Aided Verification}, File = {Computing accumulated delays in real-time systems - Alur, Courcoubetis, Henzinger (0) (0) - a - a - t.pdf}, Keywords = {timed automata}, Pages = {181--193}, Series = {Lecture Notes in Computer Science}, Title = {Computing accumulated delays in real-time systems}, Volume = {697}, Year = {1993}, bdsk-url-1 = {http://www.springerlink.com/content/y55185j77jq58812/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-56922-7_16}, date-added = {2012-07-07 10:00:31 +0200}, date-modified = {2012-07-07 08:00:47 +0000}, doi = {10.1007/3-540-56922-7_16} }