Martínez Monterrubio, S. M., J. Frausto Solis, J. A. Recio García, and J. A. Chavarri Velasquez. “New ESVIT Software for IT Security Policy Verification in Production Systems”. International Journal of Combinatorial Optimization Problems and Informatics, vol. 16, no. 3, July 2025, pp. 540-62, doi:10.61467/2007.1558.2025.v16i3.869.