Extending State Machine Replication through Composition. - Caroline Martins Alves; Thaís Bardini Idalino; Odorico Machado Mendizabal (LADC, 2024)