Model-based diagnosis in intensive care monitoring: the YAQ approach - Uckun, S; Dawant, BM; Lindstrom, DP (Artif Intell Med, 1993)