Rodolfo Araujo, Igor Coelho, Luiz Ochi, and Vitor Coelho. 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>, outubro 15, 2019, Campo Grande/MS, Brasil. SBC, Porto Alegre, Brasil, 234-240.