Larsen, K. G.; Pettersson, P.; Yi, W. Diagnostic Model Checking for Real-Time Systems. BRICS 1996, 3.