Taolue Chen, Tingting Han, Jian Lu. On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. In J. Lei, editor, Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 2. pages 21-25, IEEE Computer Society, 2007. [doi]