Taolue Chen Tingting Han Jian Lu On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. 21-25 2007 FSKD (2) http://dx.doi.org/10.1109/FSKD.2007.426 conf/fskd/2007-2 db/conf/fskd/fskd2007-2.html#ChenHL07