An Automata Theoretic Approach to Modular Diagnosis of Discrete-Event Systems door Jörg Neidig