Fault diagnosis for discrete event systems: Modelling and verification. - Zineb Simeu-Abazi; Maria di Mascolo; Michal Knotek (Reliab. Eng. Syst. Saf., 2010)