System of systems vulnerability analysis with automated planning | IEEE Conference Publication | IEEE Xplore