T
[TYB05] Stavros Tripakis, Sergio Yovine, and Ahmed Bouajjani. Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3):267-292. Springer-Verlag, May 2005. 
@article{fmsd26(3)-TYB,
  author =              {Tripakis, Stavros and Yovine, Sergio and Bouajjani,
                         Ahmed},
  title =               {Checking Timed {B}{\"u}chi Automata Emptiness
                         {E}fficiently},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {26},
  number =              {3},
  pages =               {267-292},
  year =                {2005},
  month =               may,
  doi =                 {10.1007/s10703-005-1632-8},
}
List of authors