E. Santos, R. Barbieri, and G. Vieira. " Evolving Paxos for the Non-Malicious Arbitrary Model", in Anais do XXIV Workshop de Testes e Tolerância a Falhas, BrasÃlia/DF, 2023, pp. 52-65, doi: https://doi.org/10.5753/wtf.2023.720.