Towards correct network virtualization
Rethinking virtual network embedding: substrate support for path splitting and migration