Title: Verification of Data-Aware Processes Via Satisfiability Modulo Theories