Formal foundation and conceptual design of dynamic adaptations in a workflow management system | IEEE Conference Publication | IEEE Xplore