Araujo, R., 		Coelho, I., 		Ochi, L., & 		Coelho, V.
2019 out 15.  LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :