TA-FTA: Transition-aware functional timing analysis with a four-valued encoding | IEEE Conference Publication | IEEE Xplore