Citations refer to the original publication, not to a Scieee localized version.
Varela Vaca, Á. J., Rosado, D. G., Sánchez, L. E., Gómez López, M. T., Martínez Gasca, R., & Fernández Medina, E. (2021). CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Elsevier. https://doi.org/10.1016/j.compind.2021.103524
Varela Vaca, Ángel Jesús, et al. CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Elsevier, 2021. https://doi.org/10.1016/j.compind.2021.103524.
Varela Vaca, Ángel Jesús, David G. Rosado, Luis E. Sánchez, María Teresa Gómez López, Rafael Martínez Gasca, and Eduardo Fernández Medina. CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Elsevier, 2021. https://doi.org/10.1016/j.compind.2021.103524.
Varela Vaca, Á. J. et al. (2021) CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Elsevier. Available at: https://doi.org/10.1016/j.compind.2021.103524.
Á. J. Varela Vaca, D. G. Rosado, L. E. Sánchez, M. T. Gómez López, R. Martínez Gasca, and E. Fernández Medina, “CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems,” Elsevier, 2021, doi: 10.1016/j.compind.2021.103524.
@misc{varelavaca2021carmen,
author = {Varela Vaca, Ángel Jesús and Rosado, David G. and Sánchez, Luis E. and Gómez López, María Teresa and Martínez Gasca, Rafael and Fernández Medina, Eduardo},
title = {CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems},
year = {2021},
publisher = {Elsevier},
doi = {10.1016/j.compind.2021.103524},
url = {https://doi.org/10.1016/j.compind.2021.103524}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.