A New Method to Detect Useless Service Failure Model in SPN. - Mingfeng Zhao; Yajian Zhou; Yixian Yang; We Song; Yajun Du (J. Convergence Inf. Technol., 2010)