Stéphane Lafortune, Demosthenis Teneketzis, Meera Sampath, Raja Sengupta, Kasim Sinnamohideen: Failure diagnosis of dynamic systems: an approach based on discrete event systems. ACC 2001: 2058-2071