Dynamic Logic of Power and Immunity. - Dong, Huimin; Roy, Olivier (2017)