Text this: Introduction to Diagnosis of Active Systems