T
[TY01] Stavros Tripakis and Sergio Yovine. Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1):25-68. Kluwer Academic, January 2001. 
@article{fmsd18(1)-TY,
  author =              {Tripakis, Stavros and Yovine, Sergio},
  title =               {Analysis of Timed Systems Using Time-Abstracting
                         Bisimulations},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {18},
  number =              {1},
  pages =               {25-68},
  year =                {2001},
  month =               jan,
  doi =                 {10.1023/A:1008734703554},
}
List of authors