A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies | IEEE Journals & Magazine | IEEE Xplore