Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Remke (Springer Berlin Heidelberg, 2014)