A reduction-based approach towards scaling up formal analysis of internet configurations | IEEE Conference Publication | IEEE Xplore