Martínez Monterrubio, Sergio Mauricio, Juan Frausto Solis, Juan Antonio Recio García, and Josmell Antonio Chavarri Velasquez. 2025. “New ESVIT Software for IT Security Policy Verification in Production Systems”. International Journal of Combinatorial Optimization Problems and Informatics 16 (3):540-62. https://doi.org/10.61467/2007.1558.2025.v16i3.869.