Araujo, R., 		Coelho, I., 		Ochi, L., & 		Coelho, V.
(2019).
 LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance.
In <em>Anais do XXXI International Symposium on Computer Architecture and High Performance Computing</em>, (pp. 234-240). Porto Alegre: SBC.