Spectrum-Based Fault Diagnosis in Multi-Agent Systems - Lúcio Sanchez Passos (2015)