Modular Fault Diagnosis Based on Discrete Event Systems | Publicación