W
[WHY06] Farn Wang, Geng-Dian Huang, and Fang Yu. TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Transactions on Software Engineering 32(7):510-526. IEEE Comp. Soc. Press, July 2006. 
@article{tse32(7)-WHY,
  author =              {Wang, Farn and Huang, Geng-Dian and Yu, Fang},
  title =               {{TCTL} Inevitability Analysis of Dense-Time Systems:
                         From Theory to Engineering},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Software Engineering},
  volume =              {32},
  number =              {7},
  pages =               {510-526},
  year =                {2006},
  month =               jul,
}
List of authors