Automatically Proving Purpose Limitation in Software Architectures. - Kai Bavendiek; Tobias Mueller; Florian Wittner; Thea Schwaneberg; Christian-Alexander Behrendt; Wolfgang Schulz 002; Hannes Federrath; Sibylle Schupp (SEC, 2019)