Verification of Data-Aware Processes Via Satisfiability Modulo Theories - Gianola, Alessandro (Cham Springer, 2023)