Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms