Formal Modelling of PBFT Consensus Algorithm in Event-B[J] WIRELESS COMMUNICATIONS & MOBILE COMPUTING 2022(2022) Li, Jie Hu, Kai Zhu, Jian Bodeveix, Jean-Paul Ye, Yafei
