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 : Oct 2012, Vahrn, Italy.
(Lecture Notes in Computer Science ; 8453. Tutorial)