Jin-fuw Lee Donald T. Tang An Algorithm for Incremental Timing Analysis. 696-701 1995 DAC http://doi.acm.org/10.1145/217474.217613 db/conf/dac/dac95.html#LeeT95