Formally verified latency-aware VNF placement in industrial internet of things