← LNCS 2772 - Counterexamples Revisited: Principles ...