Debbi, H. Counterexamples in Model Checking - A Survey. Informatica 2018, 42 (2).