Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK