ZBRZEZNY, A. M. Comparing sat-based bounded model checking rtectl and ectl properties. Technical Sciences, [S. l.], v. 20, n. 2, p. 131–147, 2017. DOI: 10.31648/ts.5147. Disponível em: https://czasopisma.uwm.edu.pl/index.php/ts/article/view/5147. Acesso em: 5 may. 2024.