@inproceedings{kmty-concur04,
    author = "Pavel Kr\v{c}\'{a}l and Leonid Mokrushin and P.S. Thiagarajan and Wang Yi",
    title = {Timed vs. Time Triggered Automata},
    booktitle = {Proc. of CONCUR'04, London, UK.},
    editor = {Philippa Gardner and Nobuko Yoshida}, 
    pages = {340--354},
    volume = {3170},
    series = {Lecture Notes in Computer Science}, 
    publisher = {Springer--Verlag},
    year = {2004},
}