Quantitative assessments of distributed systems : methodologies and techniques - Bruneo, Dario; Distefano, Salvatore; Richardson, Russell (Performability engineering series., 2015)