Diagnose faults in sequential automatic systems and identify the nature of the malfunction.