On static reachability analysis of IP networks | IEEE Conference Publication | IEEE Xplore