Graphical Models and Overlay Networks for Reasoning about Large Distributed Systems