Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions | Publicación