Abstractions for model checking SDN controllers
Composing software-defined networks