Counterexamples in Model Checking - A Survey. INF 2018, 42 (2).