R. Araujo, I. Coelho, L. Ochi, and V. Coelho.
" 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>, Campo Grande/MS, 2019, pp. 234-240.