Farn Wang Geng Dian Huang Fang Yu 2006 07 TCTL Inevitability Analysis of Dense Time Systems From Theory to Engineering IEEE Transactions on Software Engineering Vol 32 No 7 pp 510 526 ACM IEEE SCI