G. Lamperti, M. Zanella, and X. Zhao, “Fault Diagnosis of Discrete-Event Systems from Abstract Observations”, Comput. Inform., vol. 41, no. 1, pp. 116–134, Apr. 2022.