Architectural data flow analysis for detecting violations of confidentiality requirements - Seifermann, Stephan (KIT Scientific Publishing, 2023)