Bittner, B.; Bozzano, M.; Cimatti, A.; Olive, X. Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI 2021, 26, 712-718.