Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.