Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints