publication venue for A Timed Automaton Model with Timing Intervals and Outputs for Fault Diagnosis of the Drilling Process on a CNC Machine. 34:1207-1219. 2023
