CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems | Publicación