W
[Wan08] Farn Wang. Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. In RTSS'08, pages 195-205. IEEE Comp. Soc. Press, November 2008. 
@inproceedings{rts2008-Wan,
  author =              {Wang, Farn},
  title =               {Efficient Model-Checking of Dense-Time Systems with
                         Time-Convexity Analysis},
  booktitle =           {{P}roceedings of the 29th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'08)},
  acronym =             {{RTSS}'08},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {195-205},
  year =                {2008},
  month =               nov,
  doi =                 {10.1109/RTSS.2008.53},
}
List of authors