Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures - Remke, Anne; Stoelinga, Mariëlle (Springer Berlin Heidelberg : Imprint: Springer, 2014)