selected publications chapter Automatically Proving Purpose Limitation in Software Architectures. IFIP advances in information and communication technology. 345-358. 2019