Service Oriented Verification Integrated Fault Reasoning for SDNs | IEEE Conference Publication | IEEE Xplore