Yu Qiu Genliang Guan Zhiyong Wang David Dagan Feng 214-219 2010 DICTA http://doi.ieeecomputersociety.org/10.1109/DICTA.2010.47 conf/dicta/2010 db/conf/dicta/dicta2010.html#QiuGWF10