A Spectrum of definitions for temporal model-based diagnosis