On the Design of Practical Fault-Tolerant SDN Controllers | IEEE Conference Publication | IEEE Xplore