Using network measure to reduce state space enumeration in resilient networks | IEEE Conference Publication | IEEE Xplore