Theoretical Analysis on Block Time Distributions in Byzantine Fault-Tolerant Consensus Blockchains | Arena Library | Arena