Paper on Raft, published in USENIX ATC 2014 - View it on GitHub