K. G. Larsen, P. Pettersson, and W. Yi, “Diagnostic Model Checking for Real-Time Systems”, BRICS, vol. 3, no. 57, Jun. 1996.