Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models.
E. Vanezi, D. Kouzapas, G. Kapitsaki, and A. Philippou. ENASE (Selected Papers), volume 1172 of Communications in Computer and Information Science, page 135-162. Springer, (2019)