Debbi, H. Counterexamples in Model Checking - A Survey. IJCAI 2018, 42.