Leandro Pacheco, Fernando Dotti, and Fernando Pedone. 2022. Strengthening Atomic Multicast for Partitioned State Machine Replication. In Proceedings of the 11th Latin-American Symposium on Dependable Computing, November 21, 2022, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 51–60.