Pattern-based model checking for dynamic analysis of workflow processes with temporal constraintsYanhua DuWending Zhanget al.2013SITIS 2013