[ollemasle]

More generally, the Raft page on Github lists some good resources on that subject (including that really good animation):

https://raft.github.io/