Stochasticity of probabilistic systems: analysis methodologies case-study | IEEE Conference Publication | IEEE Xplore