Feldman, A.; Pill, I.; Wotawa, F.; Matei, I.; de Kleer, J. Efficient Model-Based Diagnosis of Sequential Circuits. AAAI 2020, 34, 2814-2821.