On conformance testing of non-deterministic systems. - Xinming Ye; Jiantao Zhou 002; Xiaoyu Song; Yongmei Liu 009 (Int. J. Comput. Math., 2001)