Title: Distributed diagnosis for state-based discrete-event systems
First published: 2002