@chapter{BengtssonYi,
    Author = {Bengtsson, Johan and Yi, Wang},
    BookTitle = {Lectures on Concurrency and Petri Nets},
    File = {Timed Automata Semantics, Algorithms and Tools - Bengtsson, Yi (0) (0) - a - a - v.pdf},
    Keywords = {timed automata and survey},
    Pages = {87--124},
    Series = {Lecture Notes in Computer Science},
    Title = {Timed Automata: Semantics, Algorithms and Tools},
    Volume = {3098},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/2agtg3kjfle73j5a/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-27755-2\_3},
    date-added = {2012-03-06 11:43:06 +0100},
    date-modified = {2014-12-01 13:21:27 +0000},
    doi = {10.1007/978-3-540-27755-2_3}
}

@chapter{BengtssonYi, Author = {Bengtsson, Johan and Yi, Wang}, BookTitle = {Lectures on Concurrency and Petri Nets}, File = {Timed Automata Semantics, Algorithms and Tools - Bengtsson, Yi (0) (0) - a - a - v.pdf}, Keywords = {timed automata and survey}, Pages = {87--124}, Series = {Lecture Notes in Computer Science}, Title = {Timed Automata: Semantics, Algorithms and Tools}, Volume = {3098}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/2agtg3kjfle73j5a/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-27755-2_3}, date-added = {2012-03-06 11:43:06 +0100}, date-modified = {2014-12-01 13:21:27 +0000}, doi = {10.1007/978-3-540-27755-2_3} }