2018. Counterexamples in Model Checking - A survey. Informatica. 42, 2 (Jan. 2018).