Richard Alexander Hayden: Scalable performance analysis of massively parallel stochastic systems. Imperial College London, UK 2011