Timed automaton models for fault diagnosis of the drilling process on a CNC machine Conference Paper