Kaiyu Chen Sharad Malik David I. August Retargetable static timing analysis for embedded software. 39-44 2001 ISSS db/conf/isss/isss2001.html#ChenMA01