ProDiff: A Process Difference Detection Method Based on Hierarchical Decomposition | IEEE Journals & Magazine | IEEE Xplore