@Inproceedings{EPTCS316.2, author = {Evrard, Hugues}, year = {2020}, title = {Modeling the Raft Distributed Consensus Protocol in LNT}, editor = {Fehnker, Ansgar and Garavel, Hubert}, booktitle = {{\rm Proceedings of the 4th Workshop on} Models for Formal Analysis of Real Systems, {\rm Dublin, Ireland, April 26, 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {316}, publisher = {Open Publishing Association}, pages = {15-39}, doi = {10.4204/EPTCS.316.2}, }