Araujo, Rodolfo, 		Coelho, Igor, 		Ochi, Luiz, E 		Coelho, Vitor.
" LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (15 outubro 2019)