Martin Florian, Sebastian A. Henningsen, Charmaine Ndolo, Björn Scheuermann: The sum of its parts: Analysis of federated byzantine agreement systems. Distributed Comput. 35(5): 399-417 (2022)