Ruiming Chen Hai Zhou Timing budgeting under arbitrary process variations. 344-349 2007 conf/iccad/2007 ICCAD http://doi.acm.org/10.1145/1326073.1326144 db/conf/iccad/iccad2007.html#ChenZ07