A Spin Promela model for single round of Paxos (one Synod round), from https://arxiv.org/pdf/1408.5962 - View it on GitHub