From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence | IEEE Journals & Magazine | IEEE Xplore