Popov, S. “A Probabilistic Analysis of the Nxt Forging Algorithm”. Ledger, vol. 1, Dec. 2016, pp. 69-83, doi:10.5195/ledger.2016.46.