Quantitative assessments of distributed systems : methodologies and techniques - Bruneo, Dario; Distefano, Salvatore (John Wiley and Sons, Inc., 2015)