Model-based diagnosis with low-cost fault identification. - Ouyang, Jihong; Huang, Sen; Zhang, Liming; Zhao, Xiangfu (Frontiers of Computer Science, 2025)