S. Popov, “A Probabilistic Analysis of the Nxt Forging Algorithm”, ledger, vol. 1, pp. 69–83, Dec. 2016.