Introduction to Diagnosis of Active Systems - Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao (Springer, 2018)