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