Model Checking on Fault Diagnosis Graph | Publicación