1
Modeling and partially coordinated diagnosis of asynchronous discrete-event systems [E-Book] /