S. M. Martínez Monterrubio, J. Frausto Solis, J. A. Recio García, and J. A. Chavarri Velasquez, “New ESVIT Software for IT Security Policy Verification in Production Systems”, Int. Journal of COP and Infor., vol. 16, no. 3, pp. 540–562, Jul. 2025.