Paxos modeled in Alloy using Burckhardt's approach - View it on GitHub