C2: The Case for a Network Configuration Checking Language | IEEE Conference Publication | IEEE Xplore