@chapter{KrcalMokrushinThiagarajanYi,
    Author = {Kr{\v c}{\'a}l, Pavel and Mokrushin, Leonid and Thiagarajan, P. S. and Yi, Wang},
    BookTitle = {CONCUR 2004 - Concurrency Theory},
    File = {Timed vs. Time-Triggered Automata - Krčál, Mokrushin, Thiagarajan, Yi (0) (0) - a - a - q.pdf},
    Keywords = {timed automata},
    Pages = {340--354},
    Series = {Lecture Notes in Computer Science},
    Title = {Timed vs. Time-Triggered Automata},
    Volume = {3170},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/w774v50e4dukycrq/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-28644-8\_22},
    date-added = {2012-03-06 14:32:12 +0100},
    date-modified = {2012-04-10 15:28:58 +0000},
    doi = {10.1007/978-3-540-28644-8_22}
}

@chapter{KrcalMokrushinThiagarajanYi, Author = {Kr{\v c}{\'a}l, Pavel and Mokrushin, Leonid and Thiagarajan, P. S. and Yi, Wang}, BookTitle = {CONCUR 2004 - Concurrency Theory}, File = {Timed vs. Time-Triggered Automata - Krčál, Mokrushin, Thiagarajan, Yi (0) (0) - a - a - q.pdf}, Keywords = {timed automata}, Pages = {340--354}, Series = {Lecture Notes in Computer Science}, Title = {Timed vs. Time-Triggered Automata}, Volume = {3170}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/w774v50e4dukycrq/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-28644-8_22}, date-added = {2012-03-06 14:32:12 +0100}, date-modified = {2012-04-10 15:28:58 +0000}, doi = {10.1007/978-3-540-28644-8_22} }