Model-based diagnostic reasoning door P.T.W. Hudson