Fourier-Motzkin Methods For Fault Diagnosis In Discrete Event Systems