Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. - Max DiGiacomo-Castillo; Yiyun Liang; Advay Pal; John C. Mitchell (Blockchain, 2020)