Twin‐engined diagnosis of discrete‐event systems. - Bertoglio, Nicola; Lamperti, Gianfranco; Zanella, Marina; Zhao, Xiangfu (Engineering Reports, 2019)