Schumann, Anika (2003) Is Symbolic Technology Applicable to the Diagnosis of Discrete event Systems. Masters thesis, Computer Science Department, University of Rostock.