Souza, et al.. Accountability and Reconfiguration: Self-healing Lattice Agreement. 14 Dec. 2021.