W
[WJ14] Weifeng Wang and Li Jiao. Trace Abstraction Refinement for Timed Automata. In ATVA'14, Lecture Notes in Computer Science 8837, pages 396-410. Springer-Verlag, November 2014. 
@inproceedings{atva2014-WJ,
  author =              {Wang, Weifeng and Jiao, Li},
  title =               {Trace Abstraction Refinement for Timed Automata},
  editor =              {Cassez, Franck and Raskin, Jean-Fran{\c c}ois},
  booktitle =           {{P}roceedings of the 12th {I}nternational
                         {S}ymposium on {A}utomated {T}echnology for
                         {V}erification and {A}nalysis ({ATVA}'14)},
  acronym =             {{ATVA}'14},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {8837},
  pages =               {396-410},
  year =                {2014},
  month =               nov,
  doi =                 {10.1007/978-3-319-11936-6_28},
}
List of authors