Usa Sammapun Insup Lee Oleg Sokolsky RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. 147-153 2005 conf/rtcsa/2005 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.84 db/conf/rtcsa/rtcsa2005.html#SammapunLS05