Monitoring Temporal Properties of Stochastic Systems. - A. Prasad Sistla; Abhigna R. Srinivas (VMCAI, 2008)