Lamperti, G.; Zanella, M.; Zhao, X. Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Inform. 2022, 41, 116–134.