B. Bittner, M. Bozzano, A. Cimatti, and X. Olive, “Symbolic Synthesis of Observability Requirements for Diagnosability”, AAAI, vol. 26, no. 1, pp. 712–718, Sep. 2021.