Integer Programming Approach for Optimal Resource Allocation in Workflow Automation Design | IEEE Conference Publication | IEEE Xplore