Alves, C. M.; de Souza, M. A.; Idalino, T. B.; Mendizabal, O. M. Composing State Machine Replication. JISA 2025, 16, 629-644.