C. Alves, T. Idalino, and O. Mendizabal. " Extending State Machine Replication through Composition", in Anais do XIII Latin-American Symposium on Dependable Computing, Recife/PE, 2024, pp. 231–240.