Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile Case Schulz, Wolfgang Wittner, Florian Bavendiek, Kai Schupp, Sibylle 2020 - TUHH Open Research