Cristiá, M.; Cuenca, J.; Frydman, C. Coverage Criteria for Set-Based Specifications. RITA 2015, 22, 316-335.