Cristiá, M., J. Cuenca, and C. Frydman. “Coverage Criteria for Set-Based Specifications”. Revista De Informática Teórica E Aplicada, vol. 22, no. 2, Nov. 2015, pp. 316-35, doi:10.22456/2175-2745.52511.