El artículo CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems de Ángel Jesús Varela-Vaca, David G. Rosado, Luis E. Sánchez, María Teresa Gómez-López, Rafael M. Gasca y Eduardo Fernández-Medina, aparece en la lista de los artículos más populares de los últimos 3 años.