C. M. Alves, M. A. de Souza, T. B. Idalino, and O. M. Mendizabal, “Composing State Machine Replication”, JISA, vol. 16, no. 1, pp. 629–644, Dec. 2025.