Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models