Virtual Network Embedding with Formal Reachability Assurance Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini (2018) Virtual Network Embedding with Formal Reachability Assurance, In: In press