Distributed state reconstruction for discrete event systems. - Eric Fabre; Albert Benveniste; Claude Jard; Laurie Ricker; Mark Smith (CDC, 2000)