Stochasticity of probabilistic systems: analysis methodologies case-study