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