Refactoring of Timing Graphs and Its Use in Capturing Topological Correlation in SSTA | IEEE Journals & Magazine | IEEE Xplore