Counterexamples in Model Checking - A survey. (2018). Informatica, 42(2). https://puffbird.ijs.si/index.php/informatica/article/view/1442