Popov, S. A Probabilistic Analysis of the Nxt Forging Algorithm. ledger 2016, 1, 69-83.