Timing analysis and delay-fault test generation using path-recursive functions | IEEE Conference Publication | IEEE Xplore