Stefan Tomaszek, Roland Speith, Andy Schürr. Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques. Software and Systems Modeling, 20(4):1299-1332, 2021. [doi]
Abstract is missing.