@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},
  series =    {Lecture Notes in Computer Science},
  number =    {3170},
  editor =    {Philippa Gardner and Nobuko Yoshida}, 
  pages =     {340--354},
  publisher = {Springer--Verlag},
  year =      {2004},
}