Alessio Galassi, Barbara Re, Stefan Reimann, Lorenzo Rossi: Compliance Checking in Action for INGKA Group Inventory Management. BPM (Industry & Society Forum) 2025: 21-30