Towards an Enforceable GDPR Specification. - François Hublet; Alexander Kvamme; Srdan Krstic (CoRR, 2024)