A roadmap for traffic engineering in SDN-OpenFlow networks
FlowChecker: configuration analysis and verification of federated openflow infrastructures