When Raft Meets SDN: How to Elect a Leader over a Network | IEEE Conference Publication | IEEE Xplore