vHSFC: Generic and Agile Verification of Service Function Chain with parallel VNFs | IEEE Conference Publication | IEEE Xplore