Debbi, Hichem. “Counterexamples in Model Checking - A Survey”. Informatica 42, no. 2 (January 24, 2018). Accessed June 23, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/1442.