Implementing OpenFlow-based resilient network services | Synapse