On Computing Criticality in Refactored Timing Graphs | IEEE Journals & Magazine | IEEE Xplore