Practical Analysis of Replication-Based Systems. - Florin Ciucu; Felix Poloczek; Lydia Y. Chen; Martin Chan (INFOCOM, 2021)