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