Readings in Model-based Diagnosis