Enabling automatic composition and verification of service function chain | IEEE Conference Publication | IEEE Xplore