Availability models for synchronization server infrastructure. - Carlos Melo; Jamilson Dantas; Jean Araujo 001; Paulo Romero Martins Maciel; Rodrigo Branchini; Luiz Kawakami (SMC, 2016)