Leveraging SDN layering to systematically troubleshoot networks
A knowledge plane for the internet