Alessandro Gianola, Marco Montali, and Sarah Winkler
Track: CAiSE 2025 - Main
Section: Conformance-checking