Using Models to Enable Compliance Checking Against the GDPR: An Experience Report | Synapse