Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini (2018) Formally verified latency-aware VNF placement in industrial Internet of things, In: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, pp. 1-9, ISBN: 9781538610664