Model-based diagnosis of discrete event systems - Flochova, Jana (Array, 2006)