On Using Raft Over Networks: Improving Leader Election | IEEE Journals & Magazine | IEEE Xplore