Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing, 470, Band 470)