Cristiá, Maximiliano, Joaquín Cuenca, and Claudia Frydman. “Coverage Criteria for Set-Based Specifications”. Revista de Informática Teórica e Aplicada 22, no. 2 (November 25, 2015): 316–335. Accessed September 5, 2026. https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR2-316.