Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets. (December 2022)