Identification of timed behavior models for diagnosis in production systems