Xianfeng Li Liang Yun Tulika Mitra Abhik Roychoudhury 56-67 2007 69 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2007.01.014 db/journals/scp/scp69.html#LiLMR07