Attack-defense trees - Kordy, B.; Mauw, S.; Radomirovic, S.; Schweitzer, P. (Journal of logic and computation, 2014)