Randomized Algorithms for Analysis and Control of Uncertain Systems - Tempo (Springer London, 2013)