Business Workflow Optimization Through Process Model Redesign | IEEE Journals & Magazine | IEEE Xplore