Trusted Compliance Checking on Blockchain with Commitments: A Model-Driven Approach. - Marcello Bertolini; Giovanni Meroni; Pierluigi Plebani (BPM (Forum), 2023)