On the construction of modular observers and diagnosers for discrete-event systems. - S. L. Ricker; Eric Fabre (CDC, 2000)