Formally verified latency-aware VNF placement in industrial Internet of things | IEEE Conference Publication | IEEE Xplore