Contracts for Controlling Business Processes in Dynamic Environments | IEEE Conference Publication | IEEE Xplore