Kalech, M.; Natan, A. Model-Based Diagnosis of Multi-Agent Systems: A Survey. AAAI 2022, 36, 12334-12341.