Text this: Formal Verification of Business Constraints in Workflow-Based Applications