SMaRtLight: A Practical Fault-Tolerant SDN Controller
FatTire: declarative fault tolerance for software-defined networks