This book is a comprehensive work on model-based diagnosis of a broad class of discrete-event systemProducator: SPRINGER PG