Raft Distributed Consensus Algorithm in Jolie RaftShop by M. Berti, A. Cesco, and S. Fiorilla @ Department of Computer Science and Engineering - University of Bologna.