Autonomous, Model-Based Diagnosis Agents by Michael Schroeder