Verification of Soundness and Other Properties of Business Processes