Defreitas, Dearden, Hutter, Morales-Menendez, Mutch, Poole, 2004. Diagnosis by a Waiter and a Mars Explorer 92.. https://doi.org/10.1109/jproc.2003.823157