A Novel Approach for Model Verification in Durational Graphs Using Dioid Algebra - doi # Date : - Article type Journal