Santosand Ranise. A Survey on Workflow Satisfiability, Resiliency, and Related Problems. 22 June 2017.