Quantitative Assessments of Distributed Systems: Methodologies and Techniques