Yiwei Jiang An Zhang Zhiyi Tan 219-230 2007 conf/escape/2007 ESCAPE http://dx.doi.org/10.1007/978-3-540-74450-4_20 db/conf/escape/escape2007.html#JiangZT07