M. Florian, S. Henningsen, and B. Scheuermann. The Sum of Its Parts: Analysis of Federated Byzantine Agreement Systems. arXiv, 2020.