Engineering Secure Software and Systems - Bodden, Eric (Springer International Publishing, 2020)