Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems | lit.salon