Felli P, Montali M, Winkler S. Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI [Internet]. 2022Jun.28 [cited 2024Apr.25];36(5):5642-50. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20505