The paper "Modeling and Verification in GDPR's Data Protection Impact Assessment" by Wolfgang Schulz, Florian Wittner, Kai Bavendiek and Sibylle Schupp has been accepted at the 12th international Conference on Computers, Privacy, and Data Protection (CPDP 2019) in Bruxelles.