Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications. - Jacopo Soldani; Marco Cameriero; Giulio Paparelli; Antonio Brogi (ACM Trans. Internet Techn., 2022)