High Level Abstraction Modeling for Network Configuration Validation | IEEE Conference Publication | IEEE Xplore