DEBBI, Hichem. Counterexamples in Model Checking - A survey. Informatica, [S. l.], v. 42, n. 2, 2018. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1442. Acesso em: 23 jun. 2025.