B
[BY03] Johan Bengtsson and Wang Yi. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. In ICFEM'03. Springer-Verlag, November 2003. 
@incollection{icfem2003-BY,
  author =              {Bengtsson, Johan and Yi, Wang},
  title =               {On Clock Difference Constraints and Termination in
                         Reachability Analysis of Timed Automata},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {F}ormal {E}ngineering {M}ethods
                         ({ICFEM}'03)},
  acronym =             {{ICFEM}'03},
  publisher =           {Springer-Verlag},
  pages =               {491-503},
  year =                {2003},
  month =               nov,
}
List of authors