“Counterexamples in Model Checking - A survey”, INF, vol. 42, no. 2, Jan. 2018, Accessed: Nov. 15, 2025. [Online]. Available: https://puffbird.ijs.si/index.php/informatica/article/view/1442