Design-Time Process Optimization through Optimization Patterns and Process Model Matching | IEEE Conference Publication | IEEE Xplore