K. G. Larsen, P. Pettersson, og W. Yi, “Diagnostic Model Checking for Real-Time Systems”, BRICS, bd. 3, nr. 57, jun. 1996.