Verifying Business Processes using