Introduction to Diagnosis of Active Systems - Lamperti, Gianfranco (Springer International Publishing, 2020)