Squeezing State Spaces of (Attack-Defence) Trees | IEEE Conference Publication | IEEE Xplore