P. Felli, M. Montali, and S. Winkler, “Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic”, AAAI, vol. 36, no. 5, pp. 5642-5650, Jun. 2022.