L. Geatti, M. Montali, and A. Rivkin, “Foundations of Reactive Synthesis for Declarative Process Specifications”, AAAI, vol. 38, no. 16, pp. 17416–17425, Mar. 2024.