M. Cristiá, J. Cuenca, and C. Frydman, “Coverage Criteria for Set-Based Specifications”, RITA, vol. 22, no. 2, pp. 316–335, Nov. 2015.