Modelling the Raft Distributed Consensus Protocol in mCRL2. - Parth Bora; Pham Duc Minh; Tim A. C. Willemse (MARS@ETAPS, 2024)