Runtime Verification of Stochastic, Faulty Systems. - Cristina M. Wilcox; Brian C. Williams (RV, 2010)