Semi-Automatic Business Process Performance Optimization Based On Redundant Control Flow Detection | IEEE Conference Publication | IEEE Xplore