A comparison among tools for the diagnosability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Laura Marcias; Carla Seatzu (CASE, 2012)