Data-aware process models: From soundness checking to repair. - Matteo Zavatteri; Davide Bresolin; Massimiliano de Leoni; Aurelo Makaj (Data Knowl. Eng., 2025)