Pattern-Based Security Requirements Derivation from Secure Tropos Models. - Atilio Rrenja; Raimundas Matulevicius (PoEM, 2015)