Kateryna Yurchenko, Moritz Behr, Heiko Klare, Max E. Kramer, Ralf H. Reussner: Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems. MoDELS (Satellite Events) 2017: 321-323