Verification of Data-Aware Processes via Satisfiability Modulo Theories - Gianola, Alessandro (Springer Nature Switzerland, 2023)