Gregory M. Provan: Distributed diagnosability properties of discrete event systems. ACC 2002: 134-139