TACO: timing analysis with COupling | IEEE Conference Publication | IEEE Xplore