Quantitative Static Analysis of Distributed Systems