Felli, P.; Montali, M.; Winkler, S. Linear-Time Verification of Data-Aware Dynamic Systems With Arithmetic. AAAI 2022, 36, 5642-5650.