Qihua Wang, Ninghui Li: Satisfiability and Resiliency in Workflow Systems. ESORICS 2007: 90-105