Policies in a resource manager of workflow systems: modeling, enforcement and management | IEEE Conference Publication | IEEE Xplore