Engineering Secure Software and Systems - Bodden; Athanasopoulos, Elias; Payer, Mathias (Springer International Publishing, 2017)