Araujo, Rodolfo, Igor Machado Coelho, Luiz Satoru Ochi, and Vitor Nazário Coelho.
" LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance." <em>Anais do XXXI International Symposium on Computer Architecture and High Performance Computing,
Campo Grande/MS, 2019</em>. SBC, 2019,  
pp.234-240.