SMaRtLight: A Practical Fault-Tolerant SDN Controller
Implementing fault-tolerant services using the state machine approach: a tutorial