A. Gianola, M. Montali, and S. Winkler, “Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata”, AAAI, vol. 38, no. 9, pp. 10525-10534, Mar. 2024.