Cristiá M, Cuenca J, Frydman C. Coverage Criteria for Set-Based Specifications. RITA [Internet]. 2015 Nov. 25 [cited 2025 Aug. 28];22(2):316-35. Available from: https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR2-316