Formal Modelling of Peercoin and Proof-of-Stake Protocols. - Kent Leeding; Steve Schneider; Helen Treharne (The Application of Formal Methods, 2024)