Lin Song Yuxin Deng Xiaojuan Cai Towards Automatic Measurement of Probabilistic Processes. 50-59 2007 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.65 conf/qsic/2007 db/conf/qsic/qsic2007.html#SongDC07