Mingsong Lv Zonghua Gu Nan Guan Qingxu Deng Ge Yu Performance Comparison of Techniques on Static Path Analysis of WCET. 104-111 2008 EUC (1) http://dx.doi.org/10.1109/EUC.2008.178 conf/euc/2008-1 db/conf/euc/euc2008-1.html#LvGGDY08