Lara Mauri, Stelvio Cimato, Ernesto Damiani: A Formal Approach for the Analysis of the XRP Ledger Consensus Protocol. ICISSP 2020: 52-63