Quantitative Network Monitoring with NetQRE
Composing software-defined networks