A temporal reasoning and abstraction framework for model-based diagnosis systems