ARAUJO, Rodolfo Pereira; 						COELHO, Igor Machado; 						OCHI, Luiz Satoru; 						COELHO, Vitor Nazário.
 LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 31.	, 2019, Campo Grande/MS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 234-240.