Bertrand, et al.. Holistic Verification of Blockchain Consensus. 9 June 2022.