Engineering Secure Software and Systems - Juan Caballero, Eric Bodden, Elias Athanasopoulos (Springer International Publishing, 2016)