SMaRtLight: A Practical Fault-Tolerant SDN Controller
State Machine Replication for the Masses with BFT-SMART