selected publications conference paper Timed automaton models for fault diagnosis of the drilling process on a CNC machine. HAL (Le Centre pour la Communication Scientifique Directe). 2022