A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster). - Floris Ciprian Dinu; Silvia Bonomi (FAB, 2022)