A Two-Step Approach for Fault Diagnosis of Max-Plus Automata | IEEE Conference Publication | IEEE Xplore