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