TA-FTA: transition-aware functional timing analysis with a four-valued encoding. - Jasper C. C. Chang; Ryan H.-M. Huang; Louis Y.-Z. Lin; Charles H.-P. Wen (DAC, 2015)