Stochastic modelling of blockchain consensus | Arena Library | Arena