Path Runner: an accurate and fast timing analyser | IEEE Conference Publication | IEEE Xplore