High-level modeling and application validation for SDN | IEEE Conference Publication | IEEE Xplore