Stanislav Funiak: Graphical Models and Overlay Networks for Reasoning about Large Distributed Systems. Carnegie Mellon University, USA 2010