[ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...