Alan Stewart, Joaquim Gabarró, Anthony Keenan. Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. In Sébastien Destercke, Thierry Denoeux, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Volume 9161 of Lecture Notes in Computer Science, pages 141-150, Springer, 2015. [doi]