Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis