Using Models to Enable Compliance Checking Against the GDPR: An Experience Report | IEEE Conference Publication | IEEE Xplore