Statistical timing analysis considering spatial correlations using a single PERT-like traversal | IEEE Conference Publication | IEEE Xplore