A control system for managing the flexibility in BPMN models of cloud service workflows | IEEE Conference Publication | IEEE Xplore