Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. - Tomoyoshi Ogura; Canh Minh Do; Kazuhiro Ogata 001 (SFPVV, 2024)