Formal Analysis of a Proof-of-Stake Blockchain. - Wai Yan Maung Maung Thin; Naipeng Dong; Guangdong Bai; Jin Song Dong (ICECCS, 2018)