Fault Diagnosis of Timed Discrete Event Systems using Dioid Algebra - doi # 2013-12 Article type Journal