Model Checking Paxos in Spin. - Giorgio Delzanno; Michele Tatarek; Riccardo Traverso (GandALF, 2014)