M. Kalech and A. Natan, “Model-Based Diagnosis of Multi-Agent Systems: A Survey”, AAAI, vol. 36, no. 11, pp. 12334-12341, Jun. 2022.