A. Prasad Sistla Milos Zefran Yao Feng Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. 276-293 2011 RV http://dx.doi.org/10.1007/978-3-642-29860-8_21 conf/rv/2011 db/conf/rv/rv2011.html#SistlaZF11