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