Autonomous, Model-Based Diagnosis Agents door Michael Schroeder