JiDong Ge, Haiyang Hu: Checking Order Constraints in Collaborative Workflow with Invariant Analysis. WISE Workshops 2010: 483-493