Kinetic: verifiable dynamic network control
Composing software-defined networks