conflict-driven diagnosis, consistency-based diagnosis, Discrete Event Systems, model-based diagnosis, Nominal models.