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