Composing State Machine Replication. - Caroline Martins Alves; Matheus Antonio De Souza; Thaís Bardini Idalino; Odorico Machado Mendizabal (J. Internet Serv. Appl., 2025)